summary refs log tree commit diff
path: root/src/tools/miri/.github/workflows/sysroots.yml
AgeCommit message (Expand)AuthorLines
2024-01-08Run the tier 2 sysroots job on a schedule, not pushBen Kimock-3/+3
2024-01-07Check if tier 2 targets build in the nightly cron jobBen Kimock-0/+49