From 7a3525fb1763365c2033c78405773a90f813e592 Mon Sep 17 00:00:00 2001
From: Will Crichton <wcrichto@cs.stanford.edu>
Date: Thu, 21 Sep 2023 16:06:31 -0700
Subject: [PATCH] Fix CI

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 00a6548..bf68070 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -12,6 +12,8 @@ on:
 
 env:
   AQUASCOPE_VERSION: 0.3.1
+  AQUASCOPE_TOOLCHAIN: nightly-2023-08-25
+
 
 jobs:
   tests:
@@ -22,6 +24,8 @@ jobs:
         uses: ./.github/workflows/setup
       - name: Install Aquascope
         run: |
+          rustup toolchain install ${AQUASCOPE_TOOLCHAIN} -c rust-src rustc-dev llvm-tools-preview miri
+          mkdir bin
           curl -sSL https://github.com/cognitive-engineering-lab/aquascope/releases/download/v${AQUASCOPE_VERSION}/aquascope-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=bin
           echo "$(pwd)/bin" >> ${GITHUB_PATH}
       - name: Test Rust package