[ci] Work around Miri bug on aarch64 targets (#519)

Works around rust-lang/miri#3125
google · Oct 18, 2023 · 14416a5 · 14416a5
1 parent 0da18da
commit 14416a5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -171,6 +171,9 @@ jobs:
 
     - name: Run tests under Miri
       run: |
+        # Work around https://github.com/rust-lang/miri/issues/3125
+        [ "${{ matrix.target }}" == "aarch64-unknown-linux-gnu" ] && cargo clean
+      
         # Run under both the stacked borrows model (default) and under the tree 
         # borrows model to ensure we're compliant with both.
         for EXTRA_FLAGS in "" "-Zmiri-tree-borrows"; do