Use commit sha for url

sagemath · Feb 10, 2022 · 31665de · 31665de
1 parent ff8f6d2
commit 31665de
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -44,15 +44,16 @@ jobs:
         if: github.ref != 'refs/heads/develop'
         uses: netlify/actions/cli@master
         with:
-          # We could use  --alias="${NETLIFY_ALIAS}" to fix the deploy url to the branch name.
-          # However, netlify currently doesn't support updates to a deploy with alias
+          args: deploy --dir=docs --alias="${NETLIFY_ALIAS}"
+        env:
+          # Set deployment url to commit hash to easily link from the trac.
+          # We could also set NETLIFY_ALIAS to the branch name.
+          # However, netlify currently doesn't support updates to a deployment with the same alias
           # https://github.com/netlify/cli/issues/948
           # https://github.com/netlify/cli/issues/1984
           # Note that even if this feature is implemented, one would also need to first process the branch name
           # to workaround the bug https://github.com/netlify/cli/issues/969.
-          args: deploy --dir=docs
-        env:
-          NETLIFY_ALIAS: ${{ github.ref_name }}
+          NETLIFY_ALIAS: ${{ github.sha }}
           NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
           NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}