8 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	dc1bb9c36d	runner tweaks	2021-01-30 16:20:02 +01:00
Matthias Kretschmann	94531a8a61	run coverage on its own	2021-01-30 16:05:16 +01:00
Matthias Kretschmann	468fab1845	tweak	2021-01-30 15:55:36 +01:00
Matthias Kretschmann	3955f61958	jobs tweaks, run build	2021-01-30 15:48:34 +01:00
Matthias Kretschmann	7228eff74a	fix test run on Windows	2021-01-30 15:19:31 +01:00
Matthias Kretschmann	07ce43316f	limit CI runs	2021-01-30 15:11:27 +01:00
Matthias Kretschmann	f87f519b17	setup GitHub Actions workflow	2021-01-30 14:55:22 +01:00
dependabot-preview[bot]	bb8670b485	Create Dependabot config file	2020-06-03 00:31:54 +00:00