bug-fix-in…44bd0c9faa1ba3452b8d413…

Dec 5 2019

working on the test reports
44bd0c9faa1b
·richart on Dec 5 2019, 17:57.
Configure seems ok ?
8c5c7fca49a2
·richart on Dec 5 2019, 17:26.
configure does not produce same output as on test
55f9df1179ec
·richart on Dec 5 2019, 17:20.
trying to figure out caches
7c47d181b50b
·richart on Dec 5 2019, 16:41.
Went down the rabbit hole of configuring ci
3e3b671f4ed1
·richart on Dec 5 2019, 16:19.
fiddeling with gitlab' ci
306e1ccd2514
·richart on Dec 5 2019, 15:30.
adding gitlab ci
dcd48d6203f6
·richart on Dec 5 2019, 14:34.