From 2bb3b7cf041f859e0e0b5d2d7adf1094c86ea1e2 Mon Sep 17 00:00:00 2001
From: Victor Koenders <git@trang.ar>
Date: Sun, 17 Mar 2024 20:08:17 +0100
Subject: [PATCH 1/2] Added miri CI step

---
 .github/workflows/miri.yml | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 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..5265645d
--- /dev/null
+++ b/.github/workflows/miri.yml
@@ -0,0 +1,28 @@
+{
+  "name": "miri",
+  "on": [
+    "pull_request"
+  ],
+  "jobs": {
+    "miri": {
+      "name": "MIRI",
+      "runs-on": "ubuntu-latest",
+      "steps": [
+        {
+          "uses": "actions/checkout@v2",
+          "name": "Checkout"
+        },
+        {
+          "run": "rustup toolchain install nightly --component miri \n
+rustup override set nightly \n
+cargo miri setup",
+          "name": "Install Rust nightly"
+        },
+        {
+          "run": "cargo miri test",
+          "name": "Default features"
+        }
+      ]
+    }
+  }
+}

From 1098e1a691c50ec9d8df286b454350c3886a81ef Mon Sep 17 00:00:00 2001
From: Victor Koenders <git@trang.ar>
Date: Sun, 17 Mar 2024 20:08:41 +0100
Subject: [PATCH 2/2] Updated miri triggers to match the other pipelines

---
 .github/workflows/miri.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
index 5265645d..01a147e4 100644
--- a/.github/workflows/miri.yml
+++ b/.github/workflows/miri.yml
@@ -1,7 +1,19 @@
 {
   "name": "miri",
   "on": [
-    "pull_request"
+    "push": {
+      "branches": [
+        "trunk",
+        "v*.x",
+        "ci/*"
+      ]
+    },
+    "pull_request": {
+      "branches": [
+        "trunk",
+        "v*.x"
+      ]
+    }
   ],
   "jobs": {
     "miri": {