Skip to content

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

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

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

Triggered via push December 22, 2025 13:27
Status Success
Total duration 1h 4m 19s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in