Rename the github-pages artifact to docs

The generic name, docs, is more immediately obvious and less tied to the infrastructure we happen to use for the project.
nicholaslourie · Jan 10, 2024 · bea4e39 · bea4e39
1 parent b0c3184
commit bea4e39
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -69,6 +69,7 @@ jobs:
       - name: Upload the GitHub Pages artifact.
         uses: actions/upload-pages-artifact@v3
         with:
+          name: docs
           path: docs/_build/html/
           retention-days: 90
   test:

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -32,3 +32,5 @@ jobs:
     steps:
       - name: Deploy the GitHub Pages site.
         uses: actions/deploy-pages@v4
+        with:
+          artifact_name: docs