diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-01 05:01:02 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-01 05:01:02 +0000 |
| commit | 326d77516d2c93fcbb0d2a83949f08c50059f148 (patch) | |
| tree | b822e3cb76d25b7c01e93431ed6f2796b23509ff /src/ci/docker/scripts | |
| parent | 589200ea5ed1d83d8680bc3db6dd6bc559a25539 (diff) | |
| parent | 28deaa6e0e7993f963b3bb44bb235c7682ce0cf3 (diff) | |
| download | rust-326d77516d2c93fcbb0d2a83949f08c50059f148.tar.gz rust-326d77516d2c93fcbb0d2a83949f08c50059f148.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker/scripts')
| -rwxr-xr-x | src/ci/docker/scripts/rfl-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/scripts/rfl-build.sh b/src/ci/docker/scripts/rfl-build.sh index ea8066d95e0..1d280948ebe 100755 --- a/src/ci/docker/scripts/rfl-build.sh +++ b/src/ci/docker/scripts/rfl-build.sh @@ -2,7 +2,7 @@ set -euo pipefail -LINUX_VERSION=v6.14-rc3 +LINUX_VERSION=v6.15-rc4 # Build rustc, rustdoc, cargo, clippy-driver and rustfmt ../x.py build --stage 2 library rustdoc clippy rustfmt |