From 9da68d3233feda948299ec78aa9eede94f5baee6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Thu, 5 Dec 2024 15:05:13 -0500
Subject: [PATCH] ci: checkout first

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index fb33592..ea480fe 100644
--- 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