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

Annotations

1 warning

aux

aux
succeeded Dec 10, 2025 in 4m 37s