about summary refs log tree commit diff
path: root/src/tools/miri/ci.sh
AgeCommit message (Collapse)AuthorLines
2024-01-07Check if tier 2 targets build in the nightly cron jobBen Kimock-145/+0
2023-11-25Auto merge of #3189 - RalfJung:ci, r=RalfJungbors-7/+20
run the provenance-gc=1 test on all targets, but only for the host tests No need to slow down *all those tests* running on the Linux host... but lets cover each major OS at least once. We've had bugs that only some macOS-specific code in `getrandom` found, after all. Let's see how much this affects timing on the macOS / Windows runners.
2023-11-25tweak ci.shRalf Jung-2/+8
2023-11-25run the provenance-gc=1 test on all targets, but only for some of the testsRalf Jung-5/+12
before: only on Linux host, all tests after: only the test suite itself (not cargo-miri or the mir-opt-level=4 run), on all hosts for the host target and on Linux for all "full" targets.
2023-11-25run tests on 32bit freebsdRalf Jung-0/+1
2023-11-20libc-misc test freebsd fixes attemptDavid Carlier-1/+1
2023-11-16actually all the 'env' tests work on FreeBSD, as well as posix_memalignRalf Jung-1/+1
2023-11-16move reallocarray test into libc-miscRalf Jung-1/+1
2023-11-16make libc-misc pass under FreeBSDRalf Jung-1/+1
2023-11-16split thread test into synchronization primitives and threadnameRalf Jung-1/+1
2023-11-16reallocarray shim linux/freebsd support proposal.David Carlier-1/+1
2023-11-15freebsd adding getrandom interception.David Carlier-1/+1
note that os support was added in same time as getentropy.
2023-11-13freebsd adding getentropy interception supportDavid Carlier-1/+1
2023-11-12freebsd interceptions update proposalDavid Carlier-1/+1
2023-10-24we don't support thread::scope on freebsdRalf Jung-1/+1
2023-10-14const-eval: allow calling functions with targat features disabled at compile ↵Eduardo Sánchez Muñoz-2/+2
time in WASM This is not unsafe on WASM, see https://github.com/rust-lang/rust/pull/84988
2023-10-04auto-detect no_std where possibleRalf Jung-1/+1
2023-08-31update target support sectionRalf Jung-1/+1
2023-08-31make sure we test all tier 1 targets: i686-pc-windows-gnu was missingRalf Jung-1/+1
2023-08-22respect CARGO_EXTRA_FLAGS in more placesRalf Jung-1/+1
2023-05-31CI: test ./miri benchRalf Jung-11/+10
2023-05-12opt-level 4 should work again nowRalf Jung-2/+1
2023-05-10disable opt-level 4 tests for nowRalf Jung-1/+2
2023-03-17Emit a warning when Miri is used with optimizationsBen Kimock-1/+3
2023-03-09Install binaries to the miri toolchain's sysrootBen Kimock-2/+2
2023-02-24CI: Move `arm-unknown-linux-gnueabi` tests to Windows hostLevitatingLion-1/+1
2023-02-24Add ARM targets to CILevitatingLion-0/+2
Specifically `aarch64-unknown-linux-gnu` and `arm-unknown-linux-gnueabi`
2023-02-03re-enable mir-opt testsRalf Jung-2/+1
2023-01-31dont run optimized MIR for now, it is brokenRalf Jung-1/+2
2023-01-05Test again wasm32-unknown-unknownAaron Hill-1/+2
2022-12-28no need to do a no_std build for wasiRalf Jung-1/+1
2022-12-28test using a JSON target fileRalf Jung-0/+1
2022-11-28add many-seeds capabilities to CIRalf Jung-3/+8
2022-11-27Auto merge of #2685 - Nilstrieb:cargo-miri-wasm, r=RalfJungbors-0/+1
Use `.wasm` extension when building for wasm in cargo-miri WASM uses the `.wasm` file extension for its binaries (just like how windows uses `.exe`), so we need to set that as well. I'm not sure whether gating this behind the wasm target is a good idea, maybe it makes more sense to always do it just like on windows.
2022-11-27Auto merge of #2701 - RalfJung:smoke, r=RalfJungbors-1/+1
run_tests_minimal: actually run the smoke test on the desired target
2022-11-27run_tests_minimal: actually run the smoke test on the desired targetRalf Jung-1/+1
2022-11-27CI: fix begingroup printingRalf Jung-1/+1
2022-11-27Use `.wasm` extension when building for wasm in cargo-mirinils-0/+1
WASM uses the `.wasm` file extension for its binaries (just like how windows uses `.exe`), so we need to set that as well.
2022-11-26Auto merge of #2696 - RalfJung:no-std-windows, r=RalfJungbors-1/+0
make no_std work on Windows Also fixes https://github.com/rust-lang/miri/issues/1123 by cherry-picking a patch by `@DrMeepster.`
2022-11-26support no_std on WindowsRalf Jung-1/+0
2022-11-26prettify our CI logsRalf Jung-7/+22
2022-11-25Test a small cargo-miri smoke test even in `run_tests_minimal`Nilstrieb-0/+4
This makes sure that cargo-miri works on all targets.
2022-10-26test on windows-gnu targetRalf Jung-0/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+101
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 02:51:02 +0000