summary refs log tree commit diff
path: root/src/tools/miri/.github/workflows/setup
AgeCommit message (Expand)AuthorLines
2024-08-10CI: we now need the nightly toolchain as wellRalf Jung-0/+4
2024-06-21CI: try to share setup code across actionsRalf Jung-0/+52