Merge pull request #104 from rust-lang/nosys

skip all of sys::

Author: RalfJung

.github/workflows/ci.yml

@@ -91,9 +91,9 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
-          # If this is not the first of the month, stop here.
-          if [[ $(date -u +%d) != "01" ]]; then
-            echo "It's not the first of a month, so there will be no PR."
+          # If the `rust-version` file already has the right month, stop here
+          if grep -q "nightly-$(date -u +%Y-%m)" rust-version; then
+            echo "`rust-version` is already reasonably up-to-date, so there will be no PR."
             exit 0
           fi
           # Create commit

README.md

@@ -11,7 +11,7 @@ To run the tests yourself, make sure you have Miri installed (`rustup component
 ```shell
 MIRIFLAGS="-Zmiri-disable-isolation" ./run-test.sh core
 MIRIFLAGS="-Zmiri-disable-isolation" ./run-test.sh alloc
-MIRIFLAGS="-Zmiri-disable-isolation" ./run-test.sh std -- --skip fs:: --skip net:: --skip process:: --skip sys::pal::
+MIRIFLAGS="-Zmiri-disable-isolation" ./run-test.sh std -- --skip fs:: --skip net:: --skip process:: --skip sys::
 ```
 
 This will run the test suite of the standard library of your current toolchain.

ci-test.sh

@@ -55,7 +55,7 @@ alloc)
     ;;
 std)
     # Modules that we skip because they need a lot of shims we don't support.
-    SKIP="fs:: net:: process:: sys::fd:: sys::pal::"
+    SKIP="fs:: net:: process:: sys::"
 
     # A 64bit little-endian and a 32bit big-endian target,
     # as well as targets covering all major OSes and both ABIs on Windows.

rust-version

@@ -1 +1 @@
-nightly-2025-08-01
+nightly-2025-09-06