File tree Expand file tree Collapse file tree 5 files changed +10
-28
lines changed
actions/install_smithy_dafny_codegen_dependencies Expand file tree Collapse file tree 5 files changed +10
-28
lines changed Original file line number Diff line number Diff line change 3030 python -m pip install --upgrade black
3131 python -m pip install --upgrade docformatter
3232
33+ - name : Install Go
34+ uses : actions/setup-go@v2
35+ with :
36+ go-version : " 1.23"
37+
38+ - name : Install Go imports
39+ shell : bash
40+ run : |
41+ go install golang.org/x/tools/cmd/goimports@latest
42+
3343 # Without this the if-dafny-at-least command includes "Downloading ..." output
3444 - name : Arbitrary makefile target to force downloading Gradle
3545 shell : bash
Original file line number Diff line number Diff line change 5454 with :
5555 go-version : ${{ matrix.go-version }}
5656
57- - name : Install Go imports
58- run : |
59- go install golang.org/x/tools/cmd/goimports@latest
60-
6157 - name : Create temporary global.json
6258 run : echo '{"sdk":{"rollForward":"latestFeature","version":"6.0.0"}}' > ./global.json
6359
Original file line number Diff line number Diff line change 9595 with :
9696 go-version : ${{ matrix.go-version }}
9797
98- - name : Install Go imports
99- run : |
100- go install golang.org/x/tools/cmd/goimports@latest
101-
10298 - uses : actions/checkout@v3
10399 - name : Init Submodules
104100 shell : bash
@@ -109,11 +105,6 @@ jobs:
109105 - name : Install Smithy-Dafny codegen dependencies
110106 uses : ./.github/actions/install_smithy_dafny_codegen_dependencies
111107
112- - name : Install Go imports
113- shell : bash
114- run : |
115- go install golang.org/x/tools/cmd/goimports@latest
116-
117108 - name : Build ${{ matrix.library }} implementation
118109 shell : bash
119110 working-directory : ./${{ matrix.library }}
Original file line number Diff line number Diff line change 5252 with :
5353 dafny-version : ${{ needs.get-dafny-version.outputs.version }}
5454
55- - name : Install Go
56- uses : actions/setup-go@v5
57- with :
58- go-version : " 1.23"
59-
60- - name : Install Go imports
61- run : |
62- go install golang.org/x/tools/cmd/goimports@latest
63-
6455 - name : Install Smithy-Dafny codegen dependencies
6556 uses : ./.github/actions/install_smithy_dafny_codegen_dependencies
6657
Original file line number Diff line number Diff line change 9191 if : matrix.os == 'windows-latest'
9292 uses : ilammy/setup-nasm@v1
9393
94- # Go is needed for aws-lc-FIPS
95- - name : Install Go
96- uses : actions/setup-go@v5
97- with :
98- go-version : " >=1.18"
99-
10094 - name : Install Smithy-Dafny codegen dependencies
10195 uses : ./.github/actions/install_smithy_dafny_codegen_dependencies
10296
You can’t perform that action at this time.
0 commit comments