| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 |
