From 53f84dfa9d47511bfeeaa2c78fb7defc6dcc6282 Mon Sep 17 00:00:00 2001
From: "Kevin R. Thornton" <krthornt@uci.edu>
Date: Mon, 4 Sep 2023 09:10:16 -0700
Subject: [PATCH] add CI tests of MIRI

---
 .github/workflows/miri.yml | 18 ++++++++++++++++++
 src/sys/tskbox.rs          |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/miri.yml

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
new file mode 100644
index 00000000..88b07674
--- /dev/null
+++ b/.github/workflows/miri.yml
@@ -0,0 +1,18 @@
+on:
+  pull_request:
+
+test_miri:
+  name: Test (Miri)
+  runs-on: ubuntu-latest
+  steps:
+    - uses: actions/checkout@v2
+    - uses: actions-rs/toolchain@v1
+      with:
+        profile: minimal
+        toolchain: nightly
+        override: true
+        components: miri
+    - uses: actions-rs/cargo@v1
+      with:
+        command: miri
+        args: test miri
diff --git a/src/sys/tskbox.rs b/src/sys/tskbox.rs
index 5e3d6e05..7f092662 100644
--- a/src/sys/tskbox.rs
+++ b/src/sys/tskbox.rs
@@ -42,7 +42,7 @@ fn is_send_sync<T: Send + Sync>(t: &T) {}
 // work accross FFI.
 
 #[test]
-fn test() {
+fn test_miri() {
     struct X {
         data: i32,
     }