From 6a6aadf2be02a072cb27516856b862caca6959a7 Mon Sep 17 00:00:00 2001
From: Branden Ghena <brghena@berkeley.edu>
Date: Tue, 5 Aug 2025 18:19:11 -0500
Subject: [PATCH 1/2] Update to rust-toolchain toml file

Apparently the old version is deprecated. Tock switched over in 2023 via https://github.com/tock/tock/pull/3593
---
 rust-toolchain      | 1 -
 rust-toolchain.toml | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)
 delete mode 100644 rust-toolchain
 create mode 100644 rust-toolchain.toml

diff --git a/rust-toolchain b/rust-toolchain
deleted file mode 100644
index 2bf5ad0..0000000
--- a/rust-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-stable
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
new file mode 100644
index 0000000..b34a7ab
--- /dev/null
+++ b/rust-toolchain.toml
@@ -0,0 +1,3 @@
+[toolchain]
+channel = "stable"
+components = ["llvm-tools", "rust-src", "rustfmt", "clippy"]

From ae50372eab2799713d69dcb5d980397cdb154d03 Mon Sep 17 00:00:00 2001
From: Branden Ghena <brghena@berkeley.edu>
Date: Tue, 5 Aug 2025 18:33:50 -0500
Subject: [PATCH 2/2] Attempt to update CI to the modern era

---
 .github/workflows/cargo.yml  | 2 +-
 .github/workflows/format.yml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/cargo.yml b/.github/workflows/cargo.yml
index 5b820d0..3e2f798 100644
--- a/.github/workflows/cargo.yml
+++ b/.github/workflows/cargo.yml
@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Build
       run: cargo build --verbose
     - name: Run tests
diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
index d23c80e..3f1c9cb 100644
--- a/.github/workflows/format.yml
+++ b/.github/workflows/format.yml
@@ -22,8 +22,8 @@ jobs:
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
-      - uses: actions/checkout@v2
-      - uses: actions-rs/toolchain@v1 # pulls version from rust-toolchain file
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1 # pulls version from rust-toolchain file
         with:
           components: rustfmt
       - name: format