6 Commits

Author	SHA1	Message	Date
pantor	d010206d32	use github actions for pull requests	2020-06-15 20:44:36 +02:00
pantor	10ac6d8839	update to newest nlohmann/json	2020-03-18 13:18:27 +01:00
pantor	f69654fd2a	add artifact in single include ci	2020-03-18 13:11:10 +01:00
pantor	b9f55885f6	check (should fail)	2020-03-18 12:01:23 +01:00
pantor	87de628067	fix check	2020-03-18 11:59:39 +01:00
pantor	773005b0f6	add check for single include	2020-03-18 11:58:07 +01:00