all_bugs_found…ff5e68dcafd873ae11d6682…

Nov 18 2020

report not working properly
8d68e92f9ee0
·richart on Nov 17 2020, 23:35.
Trying out Code Quality
9ae994d2400c
·richart on Nov 17 2020, 17:04.
Adding code coverage
8b50a02ee7f5
·richart on Nov 17 2020, 16:17.
still not enough time
d585aba2a74e
·richart on Nov 17 2020, 02:27.
Extend timeout for tests runing in debug
6b93b11bbaf9
·richart on Nov 17 2020, 00:52.

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.