Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Miri subtree update #119734

Merged
merged 24 commits into from
Jan 9, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
4c4c6a6
Preparing for merge from rustc
Jan 5, 2024
d11a2bd
Merge from rustc
Jan 5, 2024
39c714b
Auto merge of #3252 - rust-lang:rustup-2024-01-05, r=RalfJung
bors Jan 5, 2024
80ee0c0
remove redundant clone
matthiaskrgr Jan 5, 2024
d334a4b
Auto merge of #3253 - matthiaskrgr:noclone, r=RalfJung
bors Jan 5, 2024
7e4e9ad
Preparing for merge from rustc
Jan 6, 2024
078f228
Merge from rustc
Jan 6, 2024
46f53c8
fmt
Jan 6, 2024
1c98b78
implement the rounding intrinsics using apfloat rounding
RalfJung Jan 6, 2024
58c80a0
merge intrinsics-math into float tests
RalfJung Jan 6, 2024
ac4526d
these should be exact
RalfJung Jan 6, 2024
0814a56
Auto merge of #3254 - rust-lang:rustup-2024-01-06, r=saethlin
bors Jan 6, 2024
643e7f0
./miri build: also build tests, to avoid rebuilds later
RalfJung Jan 6, 2024
66b15ae
cargo update
RalfJung Jan 6, 2024
b8209e2
use jemalloc as global allocator
RalfJung Jan 7, 2024
c4a11ea
only use jemalloc on Unix
RalfJung Jan 7, 2024
d93ca6e
Auto merge of #3259 - RalfJung:jemalloc, r=RalfJung
bors Jan 7, 2024
8675aa1
Auto merge of #3256 - RalfJung:rounding, r=RalfJung
bors Jan 7, 2024
6f017d2
Auto merge of #3257 - RalfJung:build-tests, r=RalfJung
bors Jan 7, 2024
7d5de70
Check if tier 2 targets build in the nightly cron job
saethlin Jan 7, 2024
d475e62
Auto merge of #3260 - saethlin:build-all-tier-2, r=RalfJung
bors Jan 7, 2024
56ff1b8
only use jemalloc on Linux and macOS
RalfJung Jan 8, 2024
8d4a5c7
Auto merge of #3261 - RalfJung:jemalloc, r=RalfJung
bors Jan 8, 2024
0ddccf9
update lockfile
RalfJung Jan 8, 2024
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 Cargo.lock
Original file line number Diff line number Diff line change
Expand Up @@ -2465,6 +2465,7 @@ dependencies = [
"ctrlc",
"env_logger",
"getrandom",
"jemalloc-sys",
"lazy_static",
"libc",
"libffi",
Expand All @@ -2474,7 +2475,6 @@ dependencies = [
"rand",
"regex",
"rustc_version",
"serde",
"smallvec",
"ui_test",
]
Expand Down Expand Up @@ -3280,9 +3280,9 @@ dependencies = [

[[package]]
name = "rustc-build-sysroot"
version = "0.4.2"
version = "0.4.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8ed2a90dfa5232ed5ff21d53d4df655f315ab316ea06fc508f1c74bcedb1ce6c"
checksum = "39dcf8d82b1f79a179bdb284dc44db440a9666eefa5a6df5ef282d6db930d544"
dependencies = [
"anyhow",
"rustc_version",
Expand Down
4 changes: 2 additions & 2 deletions src/tools/miri/.github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ jobs:
cargo -V

- name: Test
run: ./ci.sh
run: ./ci/ci.sh

style:
name: style checks
Expand Down Expand Up @@ -169,7 +169,7 @@ jobs:
--message 'Dear @*T-miri*,

It would appear that the [Miri cron job build]('"https://github.com/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"') failed.

This likely means that rustc changed the miri directory and
we now need to do a [`./miri rustc-pull`](https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#importing-changes-from-the-rustc-repo).

Expand Down
49 changes: 49 additions & 0 deletions src/tools/miri/.github/workflows/sysroots.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
name: Tier 2 sysroots

on: push
# schedule:
# - cron: '44 4 * * *' # At 4:44 UTC every day.

defaults:
run:
shell: bash

jobs:
sysroots:
name: Build the sysroots
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build the sysroots
run: |
cargo install -f rustup-toolchain-install-master
./miri toolchain -c rust-docs # Docs are the only place targets are separated by tier
./miri install
python3 -m pip install beautifulsoup4
./ci/build-all-targets.sh

sysroots-cron-fail-notify:
name: sysroots cronjob failure notification
runs-on: ubuntu-latest
needs: [sysroots]
if: failure() || cancelled()
steps:
# Send a Zulip notification
- name: Install zulip-send
run: pip3 install zulip
- name: Send Zulip notification
env:
ZULIP_BOT_EMAIL: ${{ secrets.ZULIP_BOT_EMAIL }}
ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }}
run: |
~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \
--stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \
--message 'Dear @*T-miri*,

It would appear that the [Miri sysroots cron job build]('"https://github.com/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"') failed.

Would you mind investigating this issue?

Thanks in advance!
Sincerely,
The Miri Cronjobs Bot'
Loading
Loading