summary refs log tree commit diff
path: root/.github/workflows/docker.yml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Publish a `develop` docker image (#11380)Richard van der Hoff2021-11-191-1/+4
| | | | I'd find it helpful to have a docker image corresponding to current develop, without having to build my own.
* Fix an error in the docker workflow (#10461)Richard van der Hoff2021-07-221-1/+1
|
* Move the docker image build to Github Actions (#10416)Richard van der Hoff2021-07-211-0/+72
it's flaky on circleCI, and having to manage multiple CI providers is painful.