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: