Skip to content
License Check

Replace deprecated 'egrep' commands with 'grep -E'. (#12306) #15892

Sign in to view logs

Replace deprecated 'egrep' commands with 'grep -E'. (#12306)

Replace deprecated 'egrep' commands with 'grep -E'. (#12306) #15892

Triggered via push December 22, 2025 13:27
@DaanHooglandDaanHoogland
pushed 5bf869c
main
Status Success
Total duration 1m 20s
Artifacts –

rat.yml

on: push
build
1m 17s
build
Fit to window
Zoom out
Zoom in