Skip to content

Commit

Permalink
Run CI checks on all PRs against to main (#20)
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
tautschnig authored Jun 12, 2024
1 parent a7c6d00 commit 5b70960
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 12 deletions.
6 changes: 1 addition & 5 deletions .github/workflows/book.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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/**'
Expand Down
4 changes: 1 addition & 3 deletions .github/workflows/kani.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,7 @@ name: Kani
on:
workflow_dispatch:
pull_request:
paths:
- 'library/**'
- '.github/workflows/kani.yml'
branches: [ main ]
push:
paths:
- 'library/**'
Expand Down
5 changes: 1 addition & 4 deletions .github/workflows/rustc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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/**'
Expand Down

0 comments on commit 5b70960

Please sign in to comment.