chore: bump MPL and reuse release script from MPL

.github/workflows/go-release.yml

@@ -72,8 +72,8 @@ jobs:
       - name: Get release directory name
         id: release-dir
         run: |
-          chmod +x ./scripts/go-release-automation.sh
-          RELEASE_DIR_NAME=$(./scripts/go-release-automation.sh get_release_dir_name "${{ github.event.inputs.project-name }}" "${{ github.event.inputs.version }}")
+          chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
+          RELEASE_DIR_NAME=$(./submodules/MaterialProviders/scripts/go-release-automation.sh get_release_dir_name "${{ github.event.inputs.project-name }}" "${{ github.event.inputs.version }}")
           echo "releaseDirName=$RELEASE_DIR_NAME" >> $GITHUB_OUTPUT
 
       - name: Generate a changelog
@@ -84,8 +84,8 @@ jobs:
 
       - name: Run Go release automation script
         run: |
-          chmod +x ./scripts/go-release-automation.sh
-          ./scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}
+          chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
+          ./submodules/MaterialProviders/scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}
 
       - name: Create Pull Request
         env:

project.properties

@@ -1,5 +1,5 @@
 projectJavaVersion=3.9.0-SNAPSHOT
-mplDependencyJavaVersion=1.11.0-SNAPSHOT
+mplDependencyJavaVersion=1.11.1-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
 dafnyRuntimeJavaVersion=4.9.0