From 8d321c77c3d9a4c86629a03f244ce9a404f9ec33 Mon Sep 17 00:00:00 2001
From: Joshua Liebow-Feeser <joshlf@users.noreply.github.com>
Date: Sun, 5 May 2024 08:09:26 -0700
Subject: [PATCH] Fix bug in Kani roller (#1193)

In a previous commit (#1190 / a49e91c), we introduced the `${{ matrix.branch }}` variable, but only one job in the file already had a "matrix" strategy. `roll_kani` did not, and so that variable is always empty.
---
 .github/workflows/roll-pinned-toolchain-versions.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/roll-pinned-toolchain-versions.yml b/.github/workflows/roll-pinned-toolchain-versions.yml
index a34d96bada..88db6525d6 100644
--- a/.github/workflows/roll-pinned-toolchain-versions.yml
+++ b/.github/workflows/roll-pinned-toolchain-versions.yml
@@ -115,6 +115,9 @@ jobs:
           token: ${{ secrets.GOOGLE_PR_CREATION_BOT_TOKEN }}
   roll_kani:
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        branch: ["main", "v0.7.x"]
     name: Roll pinned Kani version
     steps:
       - name: Checkout code