Skip to content

Commit dfdc2a4

Browse files
committed
fixed conditional in net smithy code gen
1 parent 1018eba commit dfdc2a4

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

.github/workflows/ci_examples_net.yml

+1
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,7 @@ jobs:
4646
dafny-version: ${{ inputs.dafny }}
4747

4848
- name: Regenerate code using smithy-dafny if necessary
49+
if: ${{ inputs.regenerate-code }}
4950
uses: ./.github/actions/polymorph_codegen
5051
with:
5152
dafny: ${{ env.DAFNY_VERSION }}

.github/workflows/ci_test_net.yml

+1
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,7 @@ jobs:
4747
dafny-version: ${{ inputs.dafny }}
4848

4949
- name: Regenerate code using smithy-dafny if necessary
50+
if: ${{ inputs.regenerate-code }}
5051
uses: ./.github/actions/polymorph_codegen
5152
with:
5253
dafny: ${{ env.DAFNY_VERSION }}

0 commit comments

Comments
 (0)