ci: checkout first

cucapra · Dec 5, 2024 · 9da68d3 · 9da68d3
1 parent aa7b9f5
commit 9da68d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -41,6 +41,7 @@ jobs:
           - yices2
 
     steps:
+      - uses: actions/checkout@v4
       - name: Cache Yices
         id: cache-yices
         uses: actions/cache@v3
@@ -76,7 +77,6 @@ jobs:
           echo "/tmp/btor/btor2tools/build/bin/" >> "$GITHUB_PATH"
       - name: Update Rust to ${{ matrix.toolchain }}
         run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }}
-      - uses: actions/checkout@v4
       - name: Build
         run: cargo build --verbose --release -p bmc
       - name: bmc Quiz1