Set a different ARTIFACT_NAME

Set it to spec-prod-result2, because the default name, spec-prod-result, was already used.
w3c · Oct 28, 2024 · d723e8d · d723e8d
1 parent 0ebe31b
commit d723e8d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -36,7 +36,8 @@ jobs:
           SOURCE: spec.html
           W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }}
           W3C_WG_DECISION_URL: hhttps://www.w3.org/mid/CAESRWkCboGW4E4RmntSs7UZWx9UZxmGH=1GNKq1Gg7MyfQcMdA@mail.gmail.com
-          W3C_BUILD_OVERRIDE: |
+          ARTIFACT_NAME: 
+          W3C_BUILD_OVERRIDE: spec-prod-result2
             specStatus: WD
             shortName: mathml4