| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-10 | Migrate rustc-pull to CI workflow from `josh-sync` | Jakub Beránek | -102/+9 |
| 2025-07-04 | Update CI workflow to use rustc-josh-sync | Jakub Beránek | -5/+4 |
| 2025-04-19 | toolchain version does not need to be specified | Tshepang Mbambo | -1/+1 |
| 2025-02-25 | Fix posting message to Zulip | Jakub Beránek | -1/+1 |
| 2025-02-03 | Make the rustc-pull workflow run less often | Jakub Beránek | -2/+2 |
| 2025-02-01 | Checkout repository sources in rustc-pull CI action | Jakub Beránek | -0/+1 |
| 2025-01-31 | Pass `GITHUB_TOKEN` to Zulip CI step | Jakub Beránek | -2/+4 |
| 2025-01-30 | Run rustc-pull CI every day, don't notify when there is nothing to update | Jakub Beránek | -7/+33 |
| 2025-01-27 | Fix rustc-pull CI's bash commands | Jakub Beránek | -2/+2 |
| 2025-01-20 | Send a message to Zulip when a sync finishes | Jakub Beránek | -2/+32 |
| 2025-01-11 | Add CI workflow for performing rustc-pull | Jakub Beránek | -0/+55 |
