-- Update the Docker images (after pushing to the git)
- - cd tools/docker && make stable.
- The argument passing is somehow failing, so you'll need to copy/paste + execute manually this line:
- docker build -f Dockerfile.stable --build-arg DLURL=????? -t simgrid/stable:latest ...........
- - Upload the stable docker image once built
- - Once the new image is uploaded, trigger a rebuild of the images tuto-{s4u,smpi} on https://hub.docker.com
- They use the dockerfiles in simgrid:tools/docker, and are built upon the simgrid/stable image
+- Push the stable branch to github to rebuild and push the stable Docker images
+ - It downloads the latest tag on framagit
+ - Doing the same manually: cd tools/docker && make stable && make tuto-s4u tuto-smpi
+ (tuto-mc is not based on simgrid/stable but rebuilds from the git)