From 323484c8278886ffe58e8d355107a5b59ffd85cd Mon Sep 17 00:00:00 2001
From: okaneco <47607823+okaneco@users.noreply.github.com>
Date: Mon, 18 Aug 2025 00:42:20 -0400
Subject: [PATCH] Add no-extra-rounding-error flag to Miri CI config

---
 .github/workflows/ci.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 96881687af05..5344efe1db0e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -244,5 +244,10 @@ jobs:
       PROPTEST_CASES: 16
     steps:
       - uses: actions/checkout@v4
+      - name: Download and install nightly
+        run: |
+          rustup toolchain install nightly --component miri,rust-src
+          rustup override set nightly
+          cargo miri setup
       - name: Test (Miri)
-        run: cargo miri test
+        run: MIRIFLAGS="-Zmiri-no-extra-rounding-error" cargo miri test