Update release.yml

runtimeverification · Aug 26, 2024 · ace0352 · ace0352
1 parent c300070
commit ace0352
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -2,7 +2,6 @@ name: 'Release'
 run-name: K Framework Release ${{ github.ref_name }}
 on:
   pull_request:
-    types: [opened, edited, reopened, synchronize]
     branches:
       - 'develop'
 concurrency: