From 2493d3c595e2e55134efbe3c2ff33089a5e3669d Mon Sep 17 00:00:00 2001
From: John Nunley <dev@notgull.net>
Date: Mon, 8 Apr 2024 10:46:54 -0700
Subject: [PATCH] ci: Also add MIRI tests

Signed-off-by: John Nunley <dev@notgull.net>
---
 .github/workflows/ci.yml | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 082b469..f62cd09 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -75,7 +75,7 @@ jobs:
           echo '[patch.crates-io]' >> async-channel/Cargo.toml
           echo 'event-listener = { path = ".." }' >> async-channel/Cargo.toml
           echo 'event-listener-strategy = { path = "../event-listener-strategy" }' >> async-channel/Cargo.toml
-          echo '[patch.crates-io]' >> event-listener-strategy/Cargo.toml
+          echo '[patch.crates-io]' >> async-lock/Cargo.toml
           echo 'event-listener = { path = ".." }' >> async-lock/Cargo.toml
           echo 'event-listener-strategy = { path = "../event-listener-strategy" }' >> async-lock/Cargo.toml
           echo 'async-channel = { path = "../async-channel" }' >> async-lock/Cargo.toml
@@ -122,6 +122,28 @@ jobs:
       - run: cargo miri test --all
       - run: cargo miri test --no-default-features --tests
       - run: cargo miri test --no-default-features --features portable-atomic --tests
+      - name: Clone some dependent crates
+        run: |
+          git clone https://github.com/smol-rs/event-listener-strategy.git
+          git clone https://github.com/smol-rs/async-channel.git
+          git clone https://github.com/smol-rs/async-lock.git
+      - name: Patch dependent crates
+        run: |
+          echo '[patch.crates-io]' >> event-listener-strategy/Cargo.toml
+          echo 'event-listener = { path = ".." }' >> event-listener-strategy/Cargo.toml
+          echo '[patch.crates-io]' >> async-channel/Cargo.toml
+          echo 'event-listener = { path = ".." }' >> async-channel/Cargo.toml
+          echo 'event-listener-strategy = { path = "../event-listener-strategy" }' >> async-channel/Cargo.toml
+          echo '[patch.crates-io]' >> async-lock/Cargo.toml
+          echo 'event-listener = { path = ".." }' >> async-lock/Cargo.toml
+          echo 'event-listener-strategy = { path = "../event-listener-strategy" }' >> async-lock/Cargo.toml
+          echo 'async-channel = { path = "../async-channel" }' >> async-lock/Cargo.toml
+      - name: Test dependent crates
+        # async-channel isn't included here as it appears to be broken on MIRI.
+        # See https://github.com/smol-rs/async-channel/issues/85
+        run: |
+           cargo miri test --manifest-path=event-listener-strategy/Cargo.toml
+           cargo miri test --manifest-path=async-lock/Cargo.toml
 
   security_audit:
     permissions: