Restore workflow trigger

runtimeverification · May 10, 2024 · 4ec6c84 · 4ec6c84
1 parent da10399
commit 4ec6c84
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -3,7 +3,6 @@ on:
   push:
     branches:
       - '_update-deps/runtimeverification/wasm-semantics'
-      - 'project-setup'
   workflow_dispatch:
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}