4 Commits

Author	SHA1	Message	Date
Rob Ede	c69b8e9ade	ci: move coverage to own workflow	2023-09-17 20:11:05 +01:00
Rob Ede	0bc310a656	Rustls v0.21 support (#480)	2023-08-26 14:59:51 +01:00
Rob Ede	9017de439f	ci: fix post-merge tool installs	2023-07-20 00:22:55 +01:00
Rob Ede	3c4b0c2755	ci: rename post-merge workflow	2023-07-19 23:49:31 +01:00