about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
AgeCommit message (Collapse)AuthorLines
2025-08-07Only run the pull workflow once per weekJakub Beránek-2/+2
2025-07-29Use main branch of josh-sync for CI workflowJakub Beránek-1/+1
2025-07-29WIP: auth using GitHub appJakub Beránek-2/+3
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
- Rust backcompat removes the need to specify the version here - Using these commands can result in a needless toolchain getting downloaded, like in the case where user only has Nightly installed
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
This is needed for the `gh` command to work.
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