bug-fix-in…ecfeb6b962e37401e516749…

Dec 5 2019

working on the test reports
ecfeb6b962e3
·richart on Dec 5 2019, 17:57.
Configure seems ok ?
5c6b97f4c8a2
·richart on Dec 5 2019, 17:26.
configure does not produce same output as on test
f5b079a3431a
·richart on Dec 5 2019, 17:20.
trying to figure out caches
e853faf42385
·richart on Dec 5 2019, 16:41.
Went down the rabbit hole of configuring ci
fd67091319e6
·richart on Dec 5 2019, 16:19.
fiddeling with gitlab' ci
09f52dea9329
·richart on Dec 5 2019, 15:30.
adding gitlab ci
a68698997ea2
·richart on Dec 5 2019, 14:34.