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