diff --git a/.github/workflows/library_codegen.yml b/.github/workflows/library_codegen.yml
index a3922ebf0..2bbce0ff2 100644
--- a/.github/workflows/library_codegen.yml
+++ b/.github/workflows/library_codegen.yml
@@ -72,6 +72,9 @@ jobs:
         run: |
           go install golang.org/x/tools/cmd/goimports@latest
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - uses: ./.github/actions/polymorph_codegen
         with:
           dafny: ${{ env.DAFNY_VERSION }}
diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml
index 5821e3d5a..a90d5fa6a 100644
--- a/.github/workflows/library_dafny_verification.yml
+++ b/.github/workflows/library_dafny_verification.yml
@@ -47,6 +47,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
diff --git a/.github/workflows/library_interop_keyring_test_vectors.yml b/.github/workflows/library_interop_keyring_test_vectors.yml
index e347c8047..8b8e66a47 100644
--- a/.github/workflows/library_interop_keyring_test_vectors.yml
+++ b/.github/workflows/library_interop_keyring_test_vectors.yml
@@ -188,6 +188,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
@@ -472,6 +476,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
diff --git a/.github/workflows/library_interop_mkp_test_vectors.yml b/.github/workflows/library_interop_mkp_test_vectors.yml
index 2ec8e63ec..d58825216 100644
--- a/.github/workflows/library_interop_mkp_test_vectors.yml
+++ b/.github/workflows/library_interop_mkp_test_vectors.yml
@@ -128,6 +128,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
@@ -327,6 +331,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
@@ -634,6 +642,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
diff --git a/.github/workflows/library_java_tests.yml b/.github/workflows/library_java_tests.yml
index dca9aa6aa..4ab45937d 100644
--- a/.github/workflows/library_java_tests.yml
+++ b/.github/workflows/library_java_tests.yml
@@ -53,6 +53,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
diff --git a/.github/workflows/library_legacy_interop_test_vectors.yml b/.github/workflows/library_legacy_interop_test_vectors.yml
index ec9533c63..f999bc858 100644
--- a/.github/workflows/library_legacy_interop_test_vectors.yml
+++ b/.github/workflows/library_legacy_interop_test_vectors.yml
@@ -85,6 +85,10 @@ jobs:
           pip install --upgrade tox
           pip install poetry
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml
index ca8fa994d..9ac9a7211 100644
--- a/.github/workflows/library_net_tests.yml
+++ b/.github/workflows/library_net_tests.yml
@@ -72,6 +72,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
@@ -179,6 +183,10 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - 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
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen