m

Author: lucasmcdonald3

.github/actions/polymorph_codegen/action.yml

@@ -62,7 +62,6 @@ runs:
       working-directory: submodules/MaterialProviders
       shell: bash
       run: |
-        dotnet --version
         git checkout main
         git pull
         git submodule update --init --recursive
@@ -105,6 +104,7 @@ runs:
       working-directory: ./${{ inputs.library }}
       shell: bash
       run: |
+        dotnet --version
         make polymorph_dafny ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
 
     - name: Set up prettier in MPL