From 5be7d05988ab1a06f79c3471c7ec08a2f0758b60 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@gmail.com>
Date: Thu, 11 Jan 2024 23:34:10 -0600
Subject: [PATCH] ci: run checkout first so go caching works

---
 .github/workflows/main.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index c5d261c..f83501d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -18,21 +18,21 @@ jobs:
     name: Verify
     runs-on: ubuntu-latest
     steps:
+      - uses: actions/checkout@v4
       - name: Install Dafny
         uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
           dafny-version: ${{ env.dafny }}
-      - uses: actions/checkout@v4
       - name: Verify
         run: make -j2 verify
   test-support:
     name: Test dafny_go
     runs-on: ubuntu-latest
     steps:
+      - uses: actions/checkout@v4
       - uses: actions/setup-go@v5
         with:
           go-version: ${{ env.go }}
-      - uses: actions/checkout@v4
       - name: Test support library
         run: |
           go test -v -timeout=1m ./dafny_go/... ./eval
@@ -41,6 +41,7 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 10
     steps:
+      - uses: actions/checkout@v4
       - name: Install Dafny
         uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
@@ -48,7 +49,6 @@ jobs:
       - uses: actions/setup-go@v5
         with:
           go-version: ${{ env.go }}
-      - uses: actions/checkout@v4
       - name: Install goimports
         run: |
           go install golang.org/x/tools/cmd/goimports@latest
@@ -74,6 +74,7 @@ jobs:
     runs-on: macos-latest
     timeout-minutes: 10
     steps:
+      - uses: actions/checkout@v4
       - name: Install Dafny
         uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
@@ -81,7 +82,6 @@ jobs:
       - uses: actions/setup-go@v5
         with:
           go-version: ${{ env.go }}
-      - uses: actions/checkout@v4
       - name: Install goimports
         run: |
           go install golang.org/x/tools/cmd/goimports@latest