Skip to content
CI

Use grep -F instead of fgrep #15

Sign in to view logs

Use grep -F instead of fgrep

Use grep -F instead of fgrep #15

Triggered via push October 3, 2025 10:58
@wom-batwom-bat
pushed 8c33c48
master
Status Success
Total duration 1m 59s
Artifacts –

push.yml

on: push
Checks  /  License Check
1m 56s
Checks / License Check
Checks  /  Links
13s
Checks / Links
Fit to window
Zoom out
Zoom in