Only skip file_lock with filesystem access

statx is used, blocked by Miri's isolation mode (the default), which prevents filesystem access for reproducibility.

Author: justanotheranonymoususer

.github/workflows/ci.yml

@@ -76,7 +76,7 @@ jobs:
           components: miri
       - uses: Swatinem/rust-cache@v2.2.1
       - name: Miri strict provenance
-        run: cargo miri test -p serial_test  --all-features
+        run: cargo miri test -p serial_test --all-features -- --skip file_lock
         env:
           MIRIFLAGS: -Zmiri-strict-provenance