From e7b306207e7f241de1d64072899b555253c9f63e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 6 Sep 2025 11:02:11 +0200
Subject: [PATCH 1/2] skip all of sys::

---
 ci-test.sh   | 2 +-
 rust-version | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci-test.sh b/ci-test.sh
index d0bc2d6..ad79dfa 100644
--- a/ci-test.sh
+++ b/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.
diff --git a/rust-version b/rust-version
index 45e51c4..80bc993 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-nightly-2025-08-01
+nightly-2025-09-06

From 3854684a7c0167d78f1d6d7013944724067baa19 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 6 Sep 2025 11:06:24 +0200
Subject: [PATCH 2/2] make CI logic more resilient against CI failures on the
 1st of a month

---
 .github/workflows/ci.yml | 6 +++---
 README.md                | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5aa9a0e..1e84db5 100644
--- a/.github/workflows/ci.yml
+++ b/.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
diff --git a/README.md b/README.md
index 32ef7bc..eb1ee05 100644
--- a/README.md
+++ b/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.