ci: disable miri check

web-infra-dev · Dec 20, 2024 · f31e5cf · f31e5cf
1 parent 715bccc
commit f31e5cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -337,7 +337,7 @@ jobs:
         with:
           save-cache: ${{ github.ref_name == 'main' }}
           shared-key: check
-          miri: true
+          miri: false
 
       # Compile test without debug info for reducing the CI cache size
       - name: Change profile.test