4 Commits

Author	SHA1	Message	Date
Timothée Floure	be7ddc9306	Update CI build image	2019-11-13 10:00:45 +01:00
Timothée Floure	8db9219401	Do not run CI on tags	2019-10-30 15:31:13 +01:00
Timothée Floure	a062dacce5	Update CI grading image	2019-10-30 15:29:04 +01:00
Timothée Floure	1ef69aa0f8	Add missing Gitlab CI configuration	2019-10-30 14:39:15 +01:00