7 Commits

Author	SHA1	Message	Date
Christoph	c5d48a561b	include new dev-branch in actions	2020-03-28 19:41:02 +01:00
Christoph	caca05bd95	don't check documentation paths	2020-03-05 13:35:21 +01:00
Christoph	6c238dae97	add ci caching	2020-03-03 21:37:59 +01:00
tomvahl	7808677fb9	change JDK in CI	2020-03-03 14:49:08 +01:00
tomvahl	d429c492de	change CI	2020-03-03 14:48:36 +01:00
tomvahl	d3490dd614	change to java 11	2020-03-03 14:21:58 +01:00
tomvahl	8f194217ac	add CI	2020-03-03 14:19:42 +01:00