all_bugs_found…f600d5b63508544e0dbbac1…

Dec 9 2019

small improvements in ci
dcda0b809401
·richart on Dec 9 2019, 16:38.
inceasing timeouts
66e3133c8270
·richart on Dec 9 2019, 16:21.
flags to specify when akantu runs in docker
c70e24267884
·richart on Dec 9 2019, 10:35.

wrong variable
a9fc7dd91ac1
·richart on Dec 5 2019, 18:39.
separating the caches since the are running in parallel
8ffa4a46e04d
·richart on Dec 5 2019, 18:26.
style typos in junit
f685f876946c
·richart on Dec 5 2019, 18:05.
typo in reports
25386b2b650a
·richart on Dec 5 2019, 18:01.
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.