9 Commits

Author	SHA1	Message	Date
Peter Newman	42dce35dd7	Drop the 18.04 runs entirely	2021-08-09 16:48:06 +02:00
Peter Newman	c2e4be3d12	Add 20.04 Ubuntu builds	2021-08-09 16:48:06 +02:00
David Peter	2a2126c40a	Fix clippy warnings	2021-07-27 09:05:23 +02:00
David Peter	81a051f07c	Fix shell completion path	2021-07-26 22:33:27 +02:00
David Peter	95d6470956	Fix stripping on arm musl target	2021-07-26 22:33:27 +02:00
David Peter	e59a2001cc	Fix shell completion path	2021-07-26 22:33:27 +02:00
David Peter	c60338a28b	Adapt test options	2021-07-26 22:33:27 +02:00
David Peter	16464a35b1	Fix man page path	2021-07-26 22:33:27 +02:00
David Peter	1d85e31260	Migrate to GitHub actions	2021-07-26 22:33:27 +02:00