summary refs log tree commit diff
path: root/src/tools/miri/ci
AgeCommit message (Expand)AuthorLines
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