3 commits

Author	SHA1	Message	Date
Marc Di Luzio	add366c0bd	Fix the docker CI ... Github Actions doesn't like specifying the dockerfile through the symlink of it's own creation	2020-05-29 18:23:35 +01:00
Marc Di Luzio	e562e950c4	Rename the CI pipelines	2020-05-29 18:17:13 +01:00
Marc Di Luzio	b4ca6ae39b	Add docker build to the CI	2020-05-29 18:15:11 +01:00