summary refs log tree commit diff
path: root/src/tools/miri/ci.sh
AgeCommit message (Expand)AuthorLines
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-07-11 18:33:43 +0000