diff --git a/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml b/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml
index d4df6ab8a..3a5178153 100644
--- a/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml
+++ b/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml
@@ -8,14 +8,40 @@ description: "Install Java package dependencies required to run Smithy-Dafny cod
 runs:
   using: "composite"
   steps:
-    - name: Install smithy-dafny-codegen Rust dependencies locally
-      uses: gradle/gradle-build-action@v2
+    - name: Setup Java 17 for codegen
+      uses: actions/setup-java@v3
       with:
-        arguments: :codegen-client:pTML :codegen-core:pTML :rust-runtime:pTML
-        build-root-directory: submodules/smithy-dafny/smithy-dafny-codegen-modules/smithy-rs
+        distribution: "corretto"
+        java-version: "17"
 
-    - name: Install smithy-dafny-codegen Python dependencies locally
-      uses: gradle/gradle-build-action@v2
+    - name: Install smithy-dafny-codegen dependencies locally
+      shell: bash
+      run: |
+        make -C submodules/smithy-dafny mvn_local_deploy_polymorph_dependencies
+
+    - name: Setup Python, black, and docformatter for code formatting
+      uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+        architecture: x64
+    - shell: bash
+      run: |
+        python -m pip install --upgrade pip
+        python -m pip install --upgrade black
+        python -m pip install --upgrade docformatter
+
+    - name: Install Go
+      uses: actions/setup-go@v5
       with:
-        arguments: :smithy-python-codegen:pTML
-        build-root-directory: submodules/smithy-dafny/codegen/smithy-dafny-codegen-modules/smithy-python/codegen
+        go-version: "1.23"
+
+    - name: Install Go imports
+      shell: bash
+      run: |
+        go install golang.org/x/tools/cmd/goimports@latest
+
+    # Without this the if-dafny-at-least command includes "Downloading ..." output
+    - name: Arbitrary makefile target to force downloading Gradle
+      shell: bash
+      run: |
+        make -C submodules/MaterialProviders/StandardLibrary setup_net
diff --git a/.github/workflows/ci_codegen.yml b/.github/workflows/ci_codegen.yml
index 38f11beb0..311559b04 100644
--- a/.github/workflows/ci_codegen.yml
+++ b/.github/workflows/ci_codegen.yml
@@ -60,9 +60,6 @@ jobs:
       - name: Install Smithy-Dafny codegen dependencies
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
-      - name: Install Smithy-Dafny codegen dependencies
-        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
-
       - uses: ./.github/actions/polymorph_codegen
         with:
           dafny: ${{ inputs.dafny }}
diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml
index 13fc60abb..2499ac6ae 100644
--- a/.github/workflows/ci_examples_java.yml
+++ b/.github/workflows/ci_examples_java.yml
@@ -72,7 +72,6 @@ jobs:
           sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml
index fc42ec70f..f9d85e050 100644
--- a/.github/workflows/ci_examples_net.yml
+++ b/.github/workflows/ci_examples_net.yml
@@ -60,7 +60,6 @@ jobs:
           git rev-parse HEAD
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml
index fd701c52a..34d8c1d08 100644
--- a/.github/workflows/ci_test_java.yml
+++ b/.github/workflows/ci_test_java.yml
@@ -66,7 +66,6 @@ jobs:
           sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/ci_test_latest_released_mpl_java.yml b/.github/workflows/ci_test_latest_released_mpl_java.yml
index 0b923e36c..79b193440 100644
--- a/.github/workflows/ci_test_latest_released_mpl_java.yml
+++ b/.github/workflows/ci_test_latest_released_mpl_java.yml
@@ -59,7 +59,6 @@ jobs:
           dafny-version: ${{ needs.getVersion.outputs.version }}
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml
index 9f86694f9..6c90f0e52 100644
--- a/.github/workflows/ci_test_net.yml
+++ b/.github/workflows/ci_test_net.yml
@@ -61,7 +61,6 @@ jobs:
           git rev-parse HEAD
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml
index 54bf63ca3..d0396f2b4 100644
--- a/.github/workflows/ci_test_vector_java.yml
+++ b/.github/workflows/ci_test_vector_java.yml
@@ -80,7 +80,6 @@ jobs:
           sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml
index 91663fea8..c31ca8969 100644
--- a/.github/workflows/ci_test_vector_net.yml
+++ b/.github/workflows/ci_test_vector_net.yml
@@ -71,7 +71,6 @@ jobs:
           git rev-parse HEAD
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml
index 30915f103..1759804e1 100644
--- a/.github/workflows/library_dafny_verification.yml
+++ b/.github/workflows/library_dafny_verification.yml
@@ -79,7 +79,6 @@ jobs:
           dotnet-version: "6.0.x"
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary
diff --git a/.github/workflows/test_vector_verification.yml b/.github/workflows/test_vector_verification.yml
index 7170063d6..d00b1fdc2 100644
--- a/.github/workflows/test_vector_verification.yml
+++ b/.github/workflows/test_vector_verification.yml
@@ -69,7 +69,6 @@ jobs:
           dotnet-version: "6.0.x"
 
       - name: Install Smithy-Dafny codegen dependencies
-        if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
       - name: Regenerate code using smithy-dafny if necessary