Build and deploy docker images on gitlab CI
The docker files we use for CI are in the .circleci folder at the moment.
There should be a CI job which can be triggered to build and upload these images to docker hub.
This would mean that anyone can update the builders rather than being block on one person.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.6.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |