From 5fa493a38ffac2bc853818a90542a361588e8e47 Mon Sep 17 00:00:00 2001
From: Amaury Chamayou <amchamay@microsoft.com>
Date: Mon, 1 Jul 2024 09:34:43 +0100
Subject: [PATCH] Only run CI and TLA jobs on pushes to main, not to other
 branches (#6316)

---
 .github/workflows/build.yml   | 1 +
 .github/workflows/tlaplus.yml | 3 +--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3153a4ab171b..d7cb0d6a1835 100644
--- 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
index a178338ee4b8..f561f76a7e07 100644
--- 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/**"