Update CI config

mit-pdos · Jan 12, 2024 · e6dcf26 · e6dcf26
1 parent 393e4ad
commit e6dcf26
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -10,8 +10,8 @@ on:
 
 # settings shared across all jobs
 env:
-  dafny: "3.11.0"
-  go: "^1.20.0"
+  dafny: "4.4.0"
+  go: "^1.21.0"
 
 jobs:
   verify:
@@ -22,17 +22,17 @@ jobs:
         uses: dafny-lang/setup-dafny-action@v1
         with:
           dafny-version: ${{ env.dafny }}
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Verify
         run: make -j2 verify
   test-support:
     name: Test dafny_go
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/setup-go@v3
+      - uses: actions/setup-go@v5
         with:
           go-version: ${{ env.go }}
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Test support library
         run: |
           go test -v -timeout=1m ./dafny_go/... ./eval
@@ -45,10 +45,10 @@ jobs:
         uses: dafny-lang/setup-dafny-action@v1
         with:
           dafny-version: ${{ env.dafny }}
-      - uses: actions/setup-go@v3
+      - uses: actions/setup-go@v5
         with:
           go-version: ${{ env.go }}
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Install goimports
         run: |
           go install golang.org/x/tools/cmd/goimports@latest
@@ -71,17 +71,17 @@ jobs:
           ./bench/run-daisy-nfsd.sh go run ./cmd/fs-test /mnt/nfs
   test-macos:
     name: Test NFS server (macOS)
-    runs-on: macos-12
+    runs-on: macos-latest
     timeout-minutes: 10
     steps:
       - name: Install Dafny
         uses: dafny-lang/setup-dafny-action@v1
         with:
           dafny-version: ${{ env.dafny }}
-      - uses: actions/setup-go@v3
+      - uses: actions/setup-go@v5
         with:
           go-version: ${{ env.go }}
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Install goimports
         run: |
           go install golang.org/x/tools/cmd/goimports@latest