Skip to content

fix grep where we should have used --fixed-strings #169

fix grep where we should have used --fixed-strings

fix grep where we should have used --fixed-strings #169

Triggered via push February 13, 2025 17:42
Status Success
Total duration 30s
Artifacts
before-pr.sh
20s
before-pr.sh
check for TODOs
7s
check for TODOs
Fit to window
Zoom out
Zoom in