Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run the nightly CI job when
pulley
files are touched in a PR (#9391)
* Run the nightly CI job when `pulley` files are touched in a PR After #9251, we will check that Pulley builds with rustc's experimental tail calls feature enabled in the nightly CI job. So if we touch any pulley source files in a PR, we should also run that job in the PR's CI. * Also run MIRI tests if `pulley` files are changed * review feedback * grep for miri in changed files, not commit messages
- Loading branch information