From 00f2a17273841131c66aafa37e2cb5676a4c1246 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 12 Jun 2024 13:50:57 +0000
Subject: [PATCH] Run CI checks on all PRs against to main

With path-based filters for CI jobs we cannot consistently use
branch protection as jobs marked "required" wouldn't necessarily run on
a given PR.
---
 .github/workflows/book.yml  | 6 +-----
 .github/workflows/kani.yml  | 4 +---
 .github/workflows/rustc.yml | 5 +----
 3 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
index 38b128826e07d..55f3688beaab6 100644
--- a/.github/workflows/book.yml
+++ b/.github/workflows/book.yml
@@ -2,16 +2,12 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for building and releasing the book.
-# It should only run when there has been a change to the book files
-# or via manual trigger.
 
 name: Build Book
 on:
   workflow_dispatch:
   pull_request:
-    paths:
-      - 'doc/**'
-      - '.github/workflows/book.yml'
+    branches: [ main ]
   push:
     paths:
       - 'doc/**'
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 2b950b3e097b8..60a142e2d6692 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -7,9 +7,7 @@ name: Kani
 on:
   workflow_dispatch:
   pull_request:
-    paths:
-      - 'library/**'
-      - '.github/workflows/kani.yml'
+    branches: [ main ]
   push:
     paths:
       - 'library/**'
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
index c971d223ff331..da865faa84881 100644
--- a/.github/workflows/rustc.yml
+++ b/.github/workflows/rustc.yml
@@ -8,10 +8,7 @@ name: Rust Tests
 on:
   workflow_dispatch:
   pull_request:
-    paths:
-      - 'library/**'
-      - 'rust-toolchain.toml'
-      - '.github/workflows/rustc.yml'
+    branches: [ main ]
   push:
     paths:
       - 'library/**'