-- Update the Docker images (after pushing to the git)
- - cd tools/docker && make stable && make tuto-s4u tuto-smpi tuto-mc
- The tuto images are built upon the simgrid/stable image
- - Upload these docker images once built
+- 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)