Skip to content

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

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

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

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

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in