Skip to content

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

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

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

Triggered via push December 22, 2025 13:27
Status Success
Total duration 56m 10s
Artifacts

codecov.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

6 errors
codecov
TestHook interrupted while sleeping
codecov
TestHook interrupted while sleeping
codecov
TestHook interrupted while sleeping
codecov
TestHook interrupted while sleeping
codecov
TestHook interrupted while sleeping
codecov
TestHook interrupted while sleeping