Skip to content

Use configured EGREP variable to correctly choose "egrep" or "grep -E". #468

Use configured EGREP variable to correctly choose "egrep" or "grep -E".

Use configured EGREP variable to correctly choose "egrep" or "grep -E". #468

Triggered via push December 31, 2023 00:15
Status Success
Total duration 12m 23s
Artifacts
Fit to window
Zoom out
Zoom in