David Rheinsberg 5c3ce5c30a ghci: merge unittest invocations ... Merge all unittest invocations into a single Github-Workflow Job. This simplifies our workflow and allows us to easily parallelize individual jobs.		2020-06-05 09:27:40 +02:00
..
tests.yml	ghci: merge unittest invocations	2020-06-05 09:27:40 +02:00