From 52eec5e2ee24cd58a3be1b8d19e1e23d2ca795ca Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Sat, 11 Dec 2021 15:05:15 -0800
Subject: [PATCH] Add a miri test job in CI

---
 .github/workflows/ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f20fc02..2a78326 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -67,6 +67,16 @@ jobs:
       - uses: dtolnay/rust-toolchain@1.36.0
       - run: cargo check --manifest-path tests/crate/Cargo.toml --no-default-features --features alloc
 
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+      - run: cargo miri test
+
   clippy:
     name: Clippy
     runs-on: ubuntu-latest