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.
google · May 5, 2024 · 8d321c7 · 8d321c7
1 parent e2577b1
commit 8d321c7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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