From 4b21a20757552b691d187f96a0039812b3389861 Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Tue, 13 May 2025 13:19:01 -0400 Subject: [PATCH] chore: install smithy-dafny dependencies in github workflows --- .github/workflows/ci_codegen.yml | 3 +++ .github/workflows/ci_examples_java.yml | 4 ++++ .github/workflows/ci_examples_net.yml | 4 ++++ .github/workflows/ci_test_java.yml | 4 ++++ .github/workflows/ci_test_latest_released_mpl_java.yml | 4 ++++ .github/workflows/ci_test_net.yml | 4 ++++ .github/workflows/ci_test_vector_java.yml | 4 ++++ .github/workflows/ci_test_vector_net.yml | 4 ++++ .github/workflows/library_dafny_verification.yml | 4 ++++ .github/workflows/test_vector_verification.yml | 4 ++++ 10 files changed, 39 insertions(+) diff --git a/.github/workflows/ci_codegen.yml b/.github/workflows/ci_codegen.yml index 311559b04..38f11beb0 100644 --- a/.github/workflows/ci_codegen.yml +++ b/.github/workflows/ci_codegen.yml @@ -60,6 +60,9 @@ 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 c2621faa8..13fc60abb 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -71,6 +71,10 @@ jobs: run: | 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml index 7e2e6ff01..fc42ec70f 100644 --- a/.github/workflows/ci_examples_net.yml +++ b/.github/workflows/ci_examples_net.yml @@ -59,6 +59,10 @@ jobs: git submodule update --init --recursive 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index cf72acbac..fd701c52a 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -65,6 +65,10 @@ jobs: run: | 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/ci_test_latest_released_mpl_java.yml b/.github/workflows/ci_test_latest_released_mpl_java.yml index 7613b6662..0b923e36c 100644 --- a/.github/workflows/ci_test_latest_released_mpl_java.yml +++ b/.github/workflows/ci_test_latest_released_mpl_java.yml @@ -58,6 +58,10 @@ jobs: with: 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index 4f8cbcee9..9f86694f9 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -60,6 +60,10 @@ jobs: git submodule update --init --recursive 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 7dc7fa627..54bf63ca3 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -79,6 +79,10 @@ jobs: run: | 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml index 46ec60bf5..91663fea8 100644 --- a/.github/workflows/ci_test_vector_net.yml +++ b/.github/workflows/ci_test_vector_net.yml @@ -70,6 +70,10 @@ jobs: git submodule update --init --recursive 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index 9b2d1e75e..30915f103 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -78,6 +78,10 @@ jobs: with: 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen diff --git a/.github/workflows/test_vector_verification.yml b/.github/workflows/test_vector_verification.yml index e09c35f1b..7170063d6 100644 --- a/.github/workflows/test_vector_verification.yml +++ b/.github/workflows/test_vector_verification.yml @@ -68,6 +68,10 @@ jobs: with: 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 if: ${{ inputs.regenerate-code }} uses: ./.github/actions/polymorph_codegen