Test it

dafny-lang · Oct 23, 2024 · 465ef2a · 465ef2a
1 parent f2a6243
commit 465ef2a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,6 +37,10 @@ jobs:
         with:
           dafny-version: ${{ matrix.dafny }}
 
+      - name: Check DAFNY_VERSION environment variable
+        shell: bash
+        run: test ${{ matrix.dafny }} = ${{ env.DAFNY_VERSION }}
+
       - name: verify dafny
         shell: bash
         run: __tests__/verify-dafny.sh ${{ matrix.dafny }}