Merge remote-tracking branch 'origin/master' into _update-deps/runtim…

…everification/kontrol
runtimeverification · Sep 28, 2023 · 873843b · 873843b
2 parents b9f747d + 9e6cce9
commit 873843b
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -4,9 +4,6 @@ on:
   pull_request:
     branches:
       - "master"
-  push:
-    branches:
-      - '_update-deps/runtimeverification/kontrol'
 
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency: