Tshepang Mbambo
ac84606523
toolchain version does not need to be specified
...
- 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-04-19 13:34:13 +02:00
Jakub Beránek
52f86c7219
Fix posting message to Zulip
2025-02-25 18:56:14 +01:00
Jakub Beránek
6a5c177e46
Make the rustc-pull workflow run less often
2025-02-03 23:41:48 +01:00
Jakub Beránek
f5d66eb2df
Checkout repository sources in rustc-pull CI action
...
This is needed for the `gh` command to work.
2025-02-01 15:50:00 +01:00
Jakub Beránek
4755a326eb
Pass `GITHUB_TOKEN` to Zulip CI step
2025-01-31 17:01:38 +01:00
Jakub Beránek
c45e1e9a0e
Run rustc-pull CI every day, don't notify when there is nothing to update
2025-01-30 20:00:39 +01:00
Jakub Beránek
a0f5d80dfe
Fix rustc-pull CI's bash commands
2025-01-27 23:34:43 +01:00
Jakub Beránek
f9cb2ec0e7
Send a message to Zulip when a sync finishes
2025-01-20 18:15:59 +01:00
Jakub Beránek
4c02798cb4
Add CI workflow for performing rustc-pull
2025-01-11 17:50:07 +01:00