From 37144968c8b4a60c28e8552584ade4a566b5c645 Mon Sep 17 00:00:00 2001 From: Anand Krishnamoorthi <35780660+anakrish@users.noreply.github.com> Date: Thu, 5 Mar 2026 13:18:25 -0600 Subject: [PATCH] chore(ci): add miri workflow (#581) Signed-off-by: Anand Krishnamoorthi --- .github/workflows/miri.yml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 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..75c1a28 --- /dev/null +++ b/.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