From b88a2318c2174446ccc7c862d1a2b46e083d7f13 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Sat, 4 Jun 2022 17:02:53 -0700
Subject: [PATCH] Only do CI for the miri branch on nightly
---
.github/workflows/ci.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 74cc5ab..4f03a4d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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: ./