From c9a198c7757b8083d92531d578f687efcef461c6 Mon Sep 17 00:00:00 2001
From: Will Hopkins <willothyh@gmail.com>
Date: Sat, 2 Nov 2024 19:44:11 -0700
Subject: [PATCH] ci: add safety checking with Miri

---
 .github/workflows/rust.yml | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 9fd45e0..7135f90 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -10,9 +10,10 @@ env:
   CARGO_TERM_COLOR: always
 
 jobs:
-  build:
+  tests:
+    name: "Run tests"
 
-    runs-on: ubuntu-latest
+    runs-on: depot-latest
 
     steps:
     - uses: actions/checkout@v4
@@ -20,3 +21,16 @@ jobs:
       run: cargo build --verbose
     - name: Run tests
       run: cargo test --verbose
+
+  miri:
+    name: "Miri"
+    runs-on: depot-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Miri
+        run: |
+          rustup toolchain install nightly --component miri
+          rustup override set nightly
+          cargo miri setup
+      - name: Test with Miri
+        run: cargo miri test