3 Commits

Author	SHA1	Message	Date
Jörg Thalheim	fbd1c3cff4	ci: actually check pull_request merge instead of push	2023-08-08 13:53:08 +02: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