Skip to content
Build

Replace egrep with grep -E in Makefile #1725

Sign in to view logs

Replace egrep with grep -E in Makefile

Replace egrep with grep -E in Makefile #1725

Triggered via pull request June 15, 2024 15:26
@stevefalcostevefalco
opened #2316
stevefalco:replace_egrep_with_grep
Status Success
Total duration 2h 28m 52s
Artifacts –

build.yml

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