Skip doctests in Miri job on pull requests

dtolnay / syn

Parser for Rust source code

Apache License 2.0

2.82k stars 308 forks source link

Skip doctests in Miri job on pull requests #1618

Closed dtolnay closed 5 months ago

dtolnay commented 5 months ago

The Miri job is our slowest CI job. We get good enough coverage for the rustdoc tests in the nightly cron job; they do not also need to be tested in pull requests.