Add CI to build the repo with repo2docker
jtpio opened this issue · comments
Jeremy Tuloup commented
CI would enable:
- Continuously testing the build of the image with
repo2docker
when a new PR is opened (to add new content or new dependencies) - Push the image to a registry (DockerHub or GitHub) when merging the PR into
master
This action looks like a good candidate:
https://github.com/machine-learning-apps/repo2docker-action
Another option would be to use the default Python action and provide a script that executes repo2docker
for PRs, and repo2docker
with the --push
option on master
.
Jeremy Tuloup commented
Closing as running repo2docker on CI would add too much overhead (long builds).