about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
AgeCommit message (Expand)AuthorLines
2025-07-10Migrate rustc-pull to CI workflow from `josh-sync`Jakub Beránek-102/+9
2025-07-04Update CI workflow to use rustc-josh-syncJakub Beránek-5/+4
2025-04-19toolchain version does not need to be specifiedTshepang Mbambo-1/+1
2025-02-25Fix posting message to ZulipJakub Beránek-1/+1
2025-02-03Make the rustc-pull workflow run less oftenJakub Beránek-2/+2
2025-02-01Checkout repository sources in rustc-pull CI actionJakub Beránek-0/+1
2025-01-31Pass `GITHUB_TOKEN` to Zulip CI stepJakub Beránek-2/+4
2025-01-30Run rustc-pull CI every day, don't notify when there is nothing to updateJakub Beránek-7/+33
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