Skip to content

Change occurrences of egrep to grep -E #312

Change occurrences of egrep to grep -E

Change occurrences of egrep to grep -E #312

Triggered via pull request January 3, 2024 13:09
Status Success
Total duration 14s
Artifacts

status-check.yaml

on: pull_request
validate
4s
validate
Fit to window
Zoom out
Zoom in