From 06b8794248c321e08dc0c2eb1dd1a0843664419e Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Wed, 24 Apr 2024 22:34:05 +0200 Subject: [PATCH] Build against a newer GoLang (#5350) Build against the newer GoLang 1.22, since the download for 1.15 seems to have been taken down By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt). --- .github/workflows/integration-tests-reusable.yml | 2 +- .github/workflows/runtime-tests.yml | 2 +- .github/workflows/standard-libraries.yml | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/integration-tests-reusable.yml b/.github/workflows/integration-tests-reusable.yml index 086b547eb1..fab1577627 100644 --- a/.github/workflows/integration-tests-reusable.yml +++ b/.github/workflows/integration-tests-reusable.yml @@ -91,7 +91,7 @@ jobs: - name: Set up oldest supported Go uses: actions/setup-go@v5 with: - go-version: '1.15' + go-version: '1.16' cache: false - name: Set up goimports env: diff --git a/.github/workflows/runtime-tests.yml b/.github/workflows/runtime-tests.yml index 5f2db0e25d..5a92b6226e 100644 --- a/.github/workflows/runtime-tests.yml +++ b/.github/workflows/runtime-tests.yml @@ -33,7 +33,7 @@ jobs: - name: Set up Go uses: actions/setup-go@v5 with: - go-version: '1.15' + go-version: '1.16' cache: false - name: Set up goimports env: diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml index d79e0df0e8..b9ae96771f 100644 --- a/.github/workflows/standard-libraries.yml +++ b/.github/workflows/standard-libraries.yml @@ -17,7 +17,7 @@ jobs: build: needs: check-deep-tests if: always() && (( github.event_name == 'pull_request' && (needs.check-deep-tests.result == 'success' || contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))) || ( github.event_name == 'push' && ( github.ref_name == 'master' || vars.TEST_ON_FORK == 'true' ))) - runs-on: macos-latest + runs-on: macos-11 steps: - name: Checkout Dafny @@ -32,7 +32,7 @@ jobs: - name: Set up Go uses: actions/setup-go@v5 with: - go-version: '1.15' + go-version: '1.16' cache: false - name: Set up goimports env: