Skip to content
Build

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

Sign in to view logs

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

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

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

build.yml

on: push
build
24m 4s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
TestHook interrupted while sleeping
build
TestHook interrupted while sleeping
build
TestHook interrupted while sleeping