From 6d20316802cb4fe5afef81a4d28baadb13a4d4b7 Mon Sep 17 00:00:00 2001
From: Dzuchun <Infernodambik@gmail.com>
Date: Sun, 17 Nov 2024 05:19:11 +0200
Subject: [PATCH] Added `miri` test action

`miri` actually caught a non-bug (in my opinion), but sure thing, I've
changes the code so that `miri` won't complain.
---
 .github/workflows/miri.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 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 0000000..ca6f5d8
--- /dev/null
+++ b/.github/workflows/miri.yml
@@ -0,0 +1,25 @@
+name: UB test
+
+on:
+  push:
+    branches: [ master ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  run_miri:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Setup toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly
+          components: miri
+
+      - name: run miri
+        run: cargo +nightly miri test --many-seeds=0..8