srctree

David Zero parent 1e8ca5ee e718bfaa
ci: Dedup URLs for link liveness check

This cuts down the number of checked URLs by almost half, since so manyare the same page with different anchors.

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