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 |
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 |