3 Commits

Author	SHA1	Message	Date
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