6 Commits

Author	SHA1	Message	Date
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
ProjectMoon	0d16d9f2cd	Add GitHub CI Docker build	2020-08-31 20:24:57 +00:00
ProjectMoon	1e5331a7ee	Add rust github CI	2020-08-31 20:18:49 +00:00