update

Author: josecorella

.github/actions/mpl-head/action.yml

@@ -21,7 +21,6 @@ runs:
         git checkout main
         git pull
         git submodule update --init --recursive
-        cat project.properties
       
     - name: Get the MPL version from the MPL submodule
       id: read_property
@@ -33,5 +32,4 @@ runs:
     - name: Update top-level project.properties file
       shell: bash
       run: |
-        sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{steps.read_property.outputs.mplVersion}}/g" project.properties > project.properties2; mv project.properties2 project.properties
-        cat project.properties
+        sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{steps.read_property.outputs.mplVersion}}/g" project.properties > project.properties2; mv project.properties2 project.properties

.github/workflows/ci_codegen.yml

@@ -30,7 +30,6 @@ jobs:
     env:
       DOTNET_CLI_TELEMETRY_OPTOUT: 1
       DOTNET_NOLOGO: 1
-      DAFNY_VERSION: ${{inputs.dafny}}
     steps:
       - name: Support longpaths
         run: |