model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
18 stars 17 forks source link

Run CI checks on all PRs against to main #20

Closed tautschnig closed 3 months ago

tautschnig commented 3 months ago

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.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.