fix(CI): Use GO111MODULE=auto

dafny-lang · Dec 1, 2023 · 5df8644 · 5df8644
1 parent cf2bb36
commit 5df8644
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/integration-tests-reusable.yml b/.github/workflows/integration-tests-reusable.yml
@@ -92,7 +92,7 @@ jobs:
  with:
  go-version: '1.15'
  - name: Set up goimports
- run: go get golang.org/x/tools/cmd/goimports@release-branch.go1.15
+ run: GO111MODULE=auto go get golang.org/x/tools/cmd/goimports@release-branch.go1.15
  - name: Set up Python
  uses: actions/setup-python@v4
  with: 

diff --git a/.github/workflows/runtime-tests.yml b/.github/workflows/runtime-tests.yml
@@ -34,7 +34,7 @@ jobs:
  with:
  go-version: '1.15'
  - name: Set up goimports
- run: go get golang.org/x/tools/cmd/goimports@release-branch.go1.15
+ run: GO111MODULE=auto go get golang.org/x/tools/cmd/goimports@release-branch.go1.15
  - name: Build Dafny
  run: dotnet build Source/Dafny.sln
  - name: Get Z3

diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
@@ -32,7 +32,7 @@ jobs:
  with:
  go-version: '1.15'
  - name: Set up goimports
- run: go get golang.org/x/tools/cmd/goimports@release-branch.go1.15
+ run: GO111MODULE=auto go get golang.org/x/tools/cmd/goimports@release-branch.go1.15
  - name: Build Dafny
  run: dotnet build Source/Dafny.sln
  - name: Get Z3