3 Commits

Author	SHA1	Message	Date
John Livingston	b871d873c6	Better github CI configuration.	2024-10-08 17:28:30 +02:00
John Livingston	77ec284ade	Fix build & CI	2024-10-08 16:53:55 +02:00
John Livingston	3f0f6e4d3b	Github CI: new job to test build and lint.	2024-10-08 16:44:46 +02:00