6 Commits

Author	SHA1	Message	Date
Paul Merlin	8f6be44bf5	Split dev/prod CI workflows	2020-06-13 13:14:52 +02:00
Paul Merlin	469bf6123e	Fix CI	2020-06-13 13:10:37 +02:00
Paul Merlin	9cbb22e130	Test something on CI	2020-06-13 13:09:06 +02:00
Paul Merlin	ab09ae8fad	Refine CI	2020-06-13 12:48:35 +02:00
Paul Merlin	1a6a8efda2	Refine CI	2020-06-13 12:47:09 +02:00
Paul Merlin	8ba9907b46	Initial commit	2019-09-20 23:06:59 +02:00