Skip to content
Build

Replace egrep with grep -E in Makefile #1729

Sign in to view logs

Replace egrep with grep -E in Makefile

Replace egrep with grep -E in Makefile #1729

Re-run triggered June 17, 2024 06:40
@larsbrinkhofflarsbrinkhoff
d468a47
master
Status Success
Total duration 1h 56m 4s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in