update

josecorella · josecorella · commit 986d73564ee5 · 2024-07-10T17:01:05.000-07:00
diff --git a/.github/workflows/ci_codegen.yml b/.github/workflows/ci_codegen.yml
@@ -30,6 +30,7 @@ jobs:
     env:
       DOTNET_CLI_TELEMETRY_OPTOUT: 1
       DOTNET_NOLOGO: 1
+      DAFNY_VERSION: ${{inputs.dafny}}
     steps:
       - name: Support longpaths
         run: |
