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 |