srctree

Robin Linden parent c2ec3402 0fc5e3c7
ci: Make the link-liveness job output easier to skim

inlinesplit
.github/workflows/ci.yaml added: 2, removed: 2, total 0
@@ -359,7 +359,7 @@ jobs:
timeout-minutes: 30
steps:
- uses: actions/checkout@v4
- run: grep --recursive --no-filename --only-matching --exclude-dir="*corpus" --exclude=WORKSPACE --exclude=*test.cpp --exclude=ci.yaml 'https://[^)(}{",# ]*' | grep -v '^https://$' | sort | uniq | xargs wget --spider
- run: grep --recursive --no-filename --only-matching --exclude-dir="*corpus" --exclude=WORKSPACE --exclude=*test.cpp --exclude=ci.yaml 'https://[^)(}{",# ]*' | grep -v '^https://$' | sort | uniq | xargs wget --spider --no-verbose
 
gitlint:
runs-on: ubuntu-22.04