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

dashboard

dashboard
succeeded Dec 10, 2025 in 1m 56s