Skip to content

Replace obsolete 'egrep' with 'grep -E' #11226

Replace obsolete 'egrep' with 'grep -E'

Replace obsolete 'egrep' with 'grep -E' #11226

Triggered via pull request December 23, 2024 18:33
Status Success
Total duration 42m 42s
Artifacts

ci.yml

on: pull_request
Matrix: package-arch
Matrix: package-indep
Fit to window
Zoom out
Zoom in