Skip to content

Commit dff2f5d

Browse files
committed
Always install codegen CLI dependencies
1 parent 2625de8 commit dff2f5d

File tree

6 files changed

+0
-6
lines changed

6 files changed

+0
-6
lines changed

.github/workflows/ci_examples_java.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,6 @@ jobs:
7272
sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
7373
7474
- name: Install Smithy-Dafny codegen dependencies
75-
if: ${{ inputs.regenerate-code }}
7675
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
7776

7877
- name: Regenerate code using smithy-dafny if necessary

.github/workflows/ci_test_java.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,6 @@ jobs:
6666
sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
6767
6868
- name: Install Smithy-Dafny codegen dependencies
69-
if: ${{ inputs.regenerate-code }}
7069
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
7170

7271
- name: Regenerate code using smithy-dafny if necessary

.github/workflows/ci_test_vector_java.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,6 @@ jobs:
8080
sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
8181
8282
- name: Install Smithy-Dafny codegen dependencies
83-
if: ${{ inputs.regenerate-code }}
8483
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
8584

8685
- name: Regenerate code using smithy-dafny if necessary

.github/workflows/ci_test_vector_net.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,6 @@ jobs:
6262
dafny-version: ${{ inputs.dafny }}
6363

6464
- name: Update MPL submodule if using MPL HEAD
65-
if: ${{ inputs.mpl-head == true }}
6665
working-directory: submodules/MaterialProviders
6766
run: |
6867
git checkout main

.github/workflows/library_dafny_verification.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,6 @@ jobs:
7979
dotnet-version: "6.0.x"
8080

8181
- name: Install Smithy-Dafny codegen dependencies
82-
if: ${{ inputs.regenerate-code }}
8382
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
8483

8584
- name: Regenerate code using smithy-dafny if necessary

.github/workflows/test_vector_verification.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,6 @@ jobs:
6969
dotnet-version: "6.0.x"
7070

7171
- name: Install Smithy-Dafny codegen dependencies
72-
if: ${{ inputs.regenerate-code }}
7372
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
7473

7574
- name: Regenerate code using smithy-dafny if necessary

0 commit comments

Comments
 (0)