53 Commits

Author	SHA1	Message	Date
DavHau	62ae99ecb6	Merge pull request 'Update Flake' (#32) from update-flake into main	2023-07-26 12:51:11 +00:00
Jörg Thalheim	0b027df015	ci: keep build going after first failure	2023-07-25 18:55:31 +02:00
Jörg Thalheim	d2d0d39e41	add tests	2023-07-21 13:34:40 +02:00