From b3b832d37647522d360c3f818d124a6af870d5c4 Mon Sep 17 00:00:00 2001 From: Joshua Liebow-Feeser Date: Sat, 4 May 2024 18:12:22 -0700 Subject: [PATCH] Fix bug in Kani roller 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