Merge remote-tracking branch 'origin/master' into release

runtimeverification · Jun 11, 2024 · 32e388f · 32e388f
2 parents 9a35d98 + 3b01114
commit 32e388f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -64,7 +64,7 @@ jobs:
     name: 'Publish Release'
     runs-on: ubuntu-latest
     environment: production
-    needs: release
+    needs: [draft-release, release]
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       VERSION: ${{ needs.draft-release.outputs.version }}