about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
AgeCommit message (Expand)AuthorLines
2025-01-27Fix rustc-pull CI's bash commandsJakub Beránek-2/+2
2025-01-20Send a message to Zulip when a sync finishesJakub Beránek-2/+32
2025-01-11Add CI workflow for performing rustc-pullJakub Beránek-0/+55