diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2025-06-01 00:35:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-01 00:35:51 +0200 |
| commit | c4ba6b00cc3eee2762c20ba4be85b2b7f0c6a407 (patch) | |
| tree | 11f84ac40c00ec2db91320f333c3d43630db52b3 /src/ci/github-actions | |
| parent | fa494d652da0c732a8efcc62e3e1ed93da4824a1 (diff) | |
| parent | cb07fd8cf767d1f158ab1bfb06a7f99deebf8c82 (diff) | |
| download | rust-c4ba6b00cc3eee2762c20ba4be85b2b7f0c6a407.tar.gz rust-c4ba6b00cc3eee2762c20ba4be85b2b7f0c6a407.zip | |
Rollup merge of #141277 - RalfJung:miri-ci, r=oli-obk
Miri CI: test aarch64-apple-darwin in PRs instead of the x86_64 target The aarch64 target is more important, and also this ensures we cover all main architectures (x86_64, i686, aarch64) in PR CI.
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index dc6a0e1ebad..9eedbd451d8 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -530,11 +530,13 @@ auto: - name: x86_64-msvc-ext2 env: SCRIPT: > - python x.py test --stage 2 src/tools/miri --target aarch64-apple-darwin --test-args pass && + python x.py test --stage 2 src/tools/miri --target x86_64-apple-darwin --test-args pass && python x.py test --stage 2 src/tools/miri --target x86_64-pc-windows-gnu --test-args pass && python x.py miri --stage 2 library/core --test-args notest && python x.py miri --stage 2 library/alloc --test-args notest && python x.py miri --stage 2 library/std --test-args notest + # The last 3 lines smoke-test `x.py miri`. This doesn't run any actual tests (that would take + # too long), but it ensures that the crates build properly when tested with Miri. RUST_CONFIGURE_ARGS: --build=x86_64-pc-windows-msvc --enable-lld <<: *job-windows |