cleaning-dead…

History Graph

Commit	Author	Details	Committed
1f6666b97403	richart	Bug fixes and compilation warning cleaning:	Nov 13 2020
1ca3bf659e84	richart	[ci] Extanding the ci:	Nov 13 2020
3ad7addae7f2	richart	small improvements in ci	Dec 9 2019
74def707432e	richart	inceasing timeouts	Dec 9 2019
3f594cbb3680	richart	flags to specify when akantu runs in docker	Dec 9 2019
f142b17e9176	richart	Simplifying the jobs since it fails between caches and makefiles...	Dec 6 2019
2283629c888f	richart	wrong variable	Dec 5 2019
418f0cdcdd93	richart	separating the caches since the are running in parallel	Dec 5 2019
b578a0cb4fe7	richart	style typos in junit	Dec 5 2019
5d475fc77c44	richart	typo in reports	Dec 5 2019
ecfeb6b962e3	richart	working on the test reports	Dec 5 2019
5c6b97f4c8a2	richart	Configure seems ok ?	Dec 5 2019
f5b079a3431a	richart	configure does not produce same output as on test	Dec 5 2019
e853faf42385	richart	trying to figure out caches	Dec 5 2019
fd67091319e6	richart	Went down the rabbit hole of configuring ci	Dec 5 2019
09f52dea9329	richart	fiddeling with gitlab' ci	Dec 5 2019
a68698997ea2	richart	adding gitlab ci	Dec 5 2019