Skip to content
Build

Replace egrep with grep -E in Makefile #1728

Sign in to view logs

Replace egrep with grep -E in Makefile

Replace egrep with grep -E in Makefile #1728

Triggered via pull request June 16, 2024 05:58
@larsbrinkhofflarsbrinkhoff
synchronize #2316
stevefalco:replace_egrep_with_grep
Status Success
Total duration 2h 28m 46s
Artifacts –

build.yml

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