We would need two repo : a new "radis-lab-env" repo with Anaconda & the databases (unzipped and cached), which generates a first Docker, and this one "radis-lab" with the notebooks that builds on the first Docker, so we can modify them without having to rebuild everything
See how : https://discourse.jupyter.org/t/how-to-reduce-mybinder-org-repository-startup-time/4956
This would also allow to use the "radis-lab-env" repo for other Forks, e.g. a student class with only the required notebooks.
Implementation :
we can have GitHub Actions build the Dockers. See link above, and also : https://github.com/jupyterhub/repo2docker-action
Note : if so then we'll have to remove the Binder Build Action #16
We would need two repo : a new "radis-lab-env" repo with Anaconda & the databases (unzipped and cached), which generates a first Docker, and this one "radis-lab" with the notebooks that builds on the first Docker, so we can modify them without having to rebuild everything
See how : https://discourse.jupyter.org/t/how-to-reduce-mybinder-org-repository-startup-time/4956
This would also allow to use the "radis-lab-env" repo for other Forks, e.g. a student class with only the required notebooks.
Implementation :
we can have GitHub Actions build the Dockers. See link above, and also : https://github.com/jupyterhub/repo2docker-action
Note : if so then we'll have to remove the Binder Build Action #16