8 Commits

Author	SHA1	Message	Date
projectmoon	09278a80b5	Disable docker image building on GitHub.	2020-11-06 09:02:59 +00:00
projectmoon	d0e6ffdc43	Switch to Github container registry.	2020-09-25 22:32:24 +00:00
projectmoon	16a9aeebcd	Only run Docker CI stages when necessary. ... Instead of building the image all the time, and only pushing if necessary.	2020-08-31 22:30:44 +00:00
projectmoon	ae6922dd6c	Correct image name.	2020-08-31 22:06:35 +00:00
projectmoon	0388daa8ac	Fix docker push for master	2020-08-31 21:40:42 +00:00
projectmoon	374f426961	Switch to docker hub because github packages is useless.	2020-08-31 21:35:19 +00:00
projectmoon	b90f1fe92a	No point in building docker image only to build it again.	2020-08-31 20:57:47 +00:00
projectmoon	4ff8e95640	One CI pipeline for build, test, docker push.	2020-08-31 20:48:46 +00:00

Renamed from .github/workflows/docker-publish.yml (Browse further)