This primarily adds a new workflow .github/workflows/binder.yml that uses repo2docker-action, and some reorganisation to accommodate that.
That runs repo2docker on GitHub Actions to build a Docker image which is pushed to https://github.com/IAGA-VMOD/IGRF14eval/pkgs/container/igrf14eval, on each push to main (and updates binder/Dockerfile to point to the new image). The Docker image can be used directly, either locally or from a BinderHub. This means mybinder.org will use the image directly rather than building it (i.e. the build is offloaded to GitHub Actions)
This should make Binder a bit quicker, but is still quite slow.
I have also removed the branch protection from main to allow the github-actions bot to push the updated Docker image tag. I did not find an easy workaround.
This primarily adds a new workflow
.github/workflows/binder.yml
that uses repo2docker-action, and some reorganisation to accommodate that.That runs repo2docker on GitHub Actions to build a Docker image which is pushed to https://github.com/IAGA-VMOD/IGRF14eval/pkgs/container/igrf14eval, on each push to
main
(and updatesbinder/Dockerfile
to point to the new image). The Docker image can be used directly, either locally or from a BinderHub. This means mybinder.org will use the image directly rather than building it (i.e. the build is offloaded to GitHub Actions)This should make Binder a bit quicker, but is still quite slow.
I have also removed the branch protection from
main
to allow the github-actions bot to push the updated Docker image tag. I did not find an easy workaround.