make CI logic more resilient against CI failures on the 1st of a month

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.