From 4ec6c84a77b16cfcdd34232e5239bd5adad31d70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Fri, 10 May 2024 19:14:39 +0000
Subject: [PATCH] Restore workflow trigger

---
 .github/workflows/update.yml | 1 -
 1 file changed, 1 deletion(-)

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 }}