2 Commits

Author SHA1 Message Date
Paul Merlin
b55d63f1f8 Refine CI workflows 2020-06-13 13:17:04 +02:00
Paul Merlin
8f6be44bf5 Split dev/prod CI workflows 2020-06-13 13:14:52 +02:00