4 Commits

Author	SHA1	Message	Date
Ed Page	f035814fe2	chore(ci): Visually group output in Github	2025-02-21 09:13:36 -06:00
Weihang Lo	c618f450a2	chore: remove bors mentions	2024-11-20 11:58:39 -05:00
Weihang Lo	aefa6e96d7	ci: integrate xtask-bump-check	2023-08-01 22:54:40 +01:00
Weihang Lo	ab2b241e2b	ci: check if version bump needed	2023-05-11 00:22:02 +01:00