Skip to content

Replace deprecated 'egrep' commands with 'grep -E'. #15837

Replace deprecated 'egrep' commands with 'grep -E'.

Replace deprecated 'egrep' commands with 'grep -E'. #15837

Re-run triggered December 19, 2025 09:02
Status Success
Total duration 22m 5s
Artifacts

build.yml

on: pull_request
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