summary refs log tree commit diff
path: root/src/tools/miri/ci
AgeCommit message (Expand)AuthorLines
2024-04-25Auto merge of #3514 - RalfJung:hyperfine, r=RalfJungbors-2/+2
2024-04-25CI: run benches with hyperfine rather than bashRalf Jung-2/+2
2024-04-25run many-seeds tests at least a few times on all tier 1 targetsRalf Jung-7/+11
2024-03-31experiment with macOS M1 runnersRalf Jung-2/+3
2024-03-31move './miri check' for features to the style check jobRalf Jung-8/+3
2024-03-31show the time that the main CI steps takeRalf Jung-6/+6
2024-03-31also control the cargo-miri env var test separatelyRalf Jung-9/+12
2024-03-31windows ci: run many-seeds test less oftenRalf Jung-1/+2
2024-03-31bash: use variable expansion that properly distinguishes null vs non-existingRalf Jung-9/+9
2024-03-31ci: separetely control which host-only tests are run whereRalf Jung-21/+33
2024-03-30Auto merge of #3434 - RalfJung:stacked-borrows-cache-consistency, r=RalfJungbors-5/+12
2024-03-30cotrol stacked borrows consistency check with its own feature flagRalf Jung-5/+12
2024-03-30move tests away from the slow Windows builderRalf Jung-2/+2
2024-03-30run GC stress test only for host testsRalf Jung-2/+2
2024-03-24Auto merge of #3402 - RalfJung:miri-script, r=RalfJungbors-1/+10
2024-03-24desperate hack: hard-code bash path on WindowsRalf Jung-1/+10
2024-03-24try to fix many-seeds tests on WindowsRalf Jung-1/+2
2024-03-13Improve sysroots notificationBen Kimock-2/+5
2024-03-04Use cargo miri clean in build-all-targets.shBen Kimock-1/+1
2024-01-30add num_cpus testDavid Carlier-2/+3
2024-01-24refactor extern static handlingRalf Jung-3/+2
2024-01-24disable freeBSD tests for nowRalf Jung-2/+3
2024-01-07Check if tier 2 targets build in the nightly cron jobBen Kimock-0/+187
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 05:16:02 +0000