3 Commits

Include renames

Author	SHA1	Message	Date
Paul Merlin	5c61ab77ec	Add back CI check for uncommited changes	2020-06-13 13:46:53 +02:00
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