diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
index 952dfc0..cb86bdb 100644
--- 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 }}