From de62b1f82fbe5d538cf77f0b906d4ec1b5fa9463 Mon Sep 17 00:00:00 2001
From: Will Crichton <wcrichto@cs.stanford.edu>
Date: Thu, 27 Jun 2024 14:13:33 -0700
Subject: [PATCH] CI

---
 .github/workflows/quick-setup/action.yml | 1 +
 .github/workflows/setup/action.yml       | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/quick-setup/action.yml b/.github/workflows/quick-setup/action.yml
index c4a6411a3..80ab27dd7 100644
--- a/.github/workflows/quick-setup/action.yml
+++ b/.github/workflows/quick-setup/action.yml
@@ -6,6 +6,7 @@ runs:
       uses: actions-rs/toolchain@v1
       with:
         toolchain: stable
+        override: true
     - uses: davidB/rust-cargo-make@v1
       with:
         version: '0.36.4'
diff --git a/.github/workflows/setup/action.yml b/.github/workflows/setup/action.yml
index 0375d9690..6eecd1f67 100644
--- a/.github/workflows/setup/action.yml
+++ b/.github/workflows/setup/action.yml
@@ -8,6 +8,7 @@ runs:
       uses: actions-rs/toolchain@v1
       with:
         toolchain: stable
+        override: true
     
     - uses: davidB/rust-cargo-make@v1
       with: