ci: disable miri check

web-infra-dev · Dec 20, 2024 · d7b5881 · d7b5881
1 parent f31e5cf
commit d7b5881
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -337,6 +337,7 @@ jobs:
         with:
           save-cache: ${{ github.ref_name == 'main' }}
           shared-key: check
+          # TODO: enable it after self host runners are ready
           miri: false
 
       # Compile test without debug info for reducing the CI cache size