Disable GitHub Actions run when release branches pushed

This commit is contained in:
David Tolnay 2022-06-16 20:32:14 -07:00
parent 6b4029fa39
commit 10eb3a931f
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82

View file

@ -2,6 +2,7 @@ name: CI
on: on:
push: push:
branches: [master]
pull_request: pull_request:
schedule: [cron: "40 1 * * *"] schedule: [cron: "40 1 * * *"]
@ -12,8 +13,7 @@ jobs:
strategy: strategy:
fail-fast: false fail-fast: false
matrix: matrix:
# attempt miri only on nightly; everything else on all 3 toolchains rust: [nightly, beta, stable]
rust: ${{fromJSON(github.ref_name == 'miri' && '["nightly"]' || '["nightly", "beta", "stable"]')}}
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v3
- uses: ./ - uses: ./