Merge pull request #11 from dtolnay/mirici

Only do CI for the miri branch on nightly
This commit is contained in:
David Tolnay 2022-06-04 17:24:03 -07:00 committed by GitHub
commit 6b4029fa39
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,7 +12,8 @@ jobs:
strategy:
fail-fast: false
matrix:
rust: [nightly, beta, stable]
# attempt miri only on nightly; everything else on all 3 toolchains
rust: ${{fromJSON(github.ref_name == 'miri' && '["nightly"]' || '["nightly", "beta", "stable"]')}}
steps:
- uses: actions/checkout@v3
- uses: ./