Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
2 changes: 1 addition & 1 deletion ci-test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
2 changes: 1 addition & 1 deletion rust-version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
nightly-2025-08-01
nightly-2025-09-06