2 Commits

Author	SHA1	Message	Date
Thomas Rudin	950aad3802	only push docker image on master branch	2020-02-17 17:33:29 +01:00
Thomas Rudin	4ed8d2f6a0	docker build workflow	2019-12-01 17:19:30 +01:00