about summary refs log tree commit diff
path: root/src/tools/miri/ci.sh
AgeCommit message (Expand)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
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
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
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
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
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
2022-11-27Auto merge of #2701 - RalfJung:smoke, r=RalfJungbors-1/+1
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
2022-11-26Auto merge of #2696 - RalfJung:no-std-windows, r=RalfJungbors-1/+0
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
2022-10-26test on windows-gnu targetRalf Jung-0/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+101
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 01:31:39 +0000