Forgot to update .github/workflows/deploy.yml

agda · Mar 6, 2024 · dee0d2e · dee0d2e
1 parent 1145fef
commit dee0d2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -213,7 +213,7 @@ jobs:
       run: |
         gh release delete 'nightly' --repo agda/agda --cleanup-tag --yes || true
         ls -R artifacts
-        gh release create 'nightly' artifacts/**/* --repo agda/agda --generate-notes --notes-start-tag v2.6.4 --title "Nightly Build (${{ needs.build.outputs.sha }}@master)"
+        gh release create 'nightly' artifacts/**/* --repo agda/agda --generate-notes --notes-start-tag v2.6.4.3 --title "Nightly Build (${{ needs.build.outputs.sha }}@master)"
 name: Deploy
 'on':
   workflow_dispatch: null