Merge pull request #1785 from GaloisInc/ci_docs_token

Use GITHUB_TOKEN secret when fetching to avoid rate limiting
GaloisInc · Jan 3, 2025 · 603b7fa · 603b7fa
2 parents 8406878 + 0d859f2
commit 603b7fa
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -95,10 +95,12 @@ jobs:
       - name: tags and pull requests
         shell: bash
         run: |
-          curl ${{ github.api_url }}/repos/${{ github.repository }}/pulls > pulls.json
+          curl --header 'authorization: Bearer ${{ secrets.GITHUB_TOKEN }}' \
+            ${{ github.api_url }}/repos/${{ github.repository }}/pulls > pulls.json
           head -n30 pulls.json
           echo There are $(cat pulls.json | nix run nixpkgs#jq -- length) pull requests
-          curl ${{ github.api_url }}/repos/${{ github.repository }}/tags > tags.json
+          curl --header 'authorization: Bearer ${{ secrets.GITHUB_TOKEN }}' \
+            ${{ github.api_url }}/repos/${{ github.repository }}/tags > tags.json
           head -n30 tags.json
           echo There are $(cat tags.json | nix run nixpkgs#jq -- length) tags
       - name: checkout all doc versions