auto commit

Author: rishav-karanjit

.github/actions/polymorph_codegen/action.yml

@@ -141,6 +141,12 @@ runs:
       run: |
         make polymorph_dotnet ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
 
+    - name: Regenerate Go code using smithy-dafny
+      working-directory: ./${{ inputs.library }}
+      shell: bash
+      run: |
+        make polymorph_go ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
+
     - name: Check regenerated code against commited code
       # Composite action inputs seem to not actually support booleans properly for some reason
       if: inputs.diff-generated-code == 'true'

.github/workflows/ci_test_go.yml

@@ -116,11 +116,14 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_go CORES=$CORES
 
-      - name: Regenerate code using smithy-dafny
-        shell: bash
-        working-directory: ./${{ matrix.library }}
-        run: |
-          make polymorph_go
+      - name: Regenerate code using smithy-dafny if necessary
+        if: ${{ inputs.regenerate-code }}
+        uses: ./.github/actions/polymorph_codegen
+        with:
+          dafny: ${{ env.DAFNY_VERSION }}
+          library: ${{ matrix.library }}
+          diff-generated-code: false
+          update-and-regenerate-mpl: true
 
       - name: Copy ${{ matrix.library }} Vector Files
         if: ${{ matrix.library == 'TestVectors' }}