chore(ci): add miri workflow (#581)

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>

Author: anakrish

.github/workflows/miri.yml

@@ -0,0 +1,27 @@
+name: miri
+
+on:
+  workflow_dispatch:
+  schedule:
+    # Run at 6:30 AM UTC every Wednesday
+    - cron: "30 6 * * 3"
+
+jobs:
+  miri-test:
+    name: miri (nightly)
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - uses: ./.github/actions/toolchains/rust
+        with:
+          toolchain: nightly
+          components: miri rust-src
+      - name: Set up Miri
+        run: cargo miri setup
+      - name: Run Miri tests
+        run: cargo miri test -p regorus
+      - name: Run Miri ACI tests
+        run: cargo miri test -p regorus --test aci
+      - name: Run Miri kata tests
+        run: cargo miri test -p regorus --test kata