From 4299f6def97bebd37d3305151cdace12be4187f5 Mon Sep 17 00:00:00 2001
From: Trangar <gpg@trangar.com>
Date: Wed, 1 May 2024 09:37:10 +0200
Subject: [PATCH] Miri check (#704)

* Added miri CI step

* Updated miri triggers to match the other pipelines

---------

Co-authored-by: Victor Koenders <git@trang.ar>
---
 .github/workflows/miri.yml | 40 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 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..01a147e4
--- /dev/null
+++ b/.github/workflows/miri.yml
@@ -0,0 +1,40 @@
+{
+  "name": "miri",
+  "on": [
+    "push": {
+      "branches": [
+        "trunk",
+        "v*.x",
+        "ci/*"
+      ]
+    },
+    "pull_request": {
+      "branches": [
+        "trunk",
+        "v*.x"
+      ]
+    }
+  ],
+  "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"
+        }
+      ]
+    }
+  }
+}