Skip to content
Back to pull request #6498

all: replace egrep with grep -E #18421

Sign in to view logs

all: replace egrep with grep -E

all: replace egrep with grep -E #18421

race

race
succeeded Dec 10, 2025 in 8m 24s