From 10eb3a931f3fb9f519cf65f9bc0202f414f39ca1 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Thu, 16 Jun 2022 20:32:14 -0700
Subject: [PATCH] Disable GitHub Actions run when release branches pushed

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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