Merge branch 'main' into codeql-in-container

microsoft · Jul 1, 2024 · 36c4e98 · 36c4e98
2 parents 7e9e362 + 5fa493a
commit 36c4e98
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -2,6 +2,7 @@ name: CI
 
 on:
   push:
+    branches: [main]
   pull_request:
   workflow_dispatch:
 

diff --git a/.github/workflows/tlaplus.yml b/.github/workflows/tlaplus.yml
@@ -2,8 +2,7 @@ name: "TLA+ Spec Verification"
 
 on:
   push:
-    paths:
-      - "tla/**"
+    branches: [main]
   pull_request:
     paths:
       - "tla/**"
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,6 +2,7 @@ name: CI @@
     on:
       push:
+        branches: [main]
       pull_request:
       workflow_dispatch:
@@ Expand Down @@