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/**'