-- 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, but sometimes gets out of synch.
+ Make sure that it's really the latest stable, as it sometimes rebuilds the previous release.
+ If this happens, just rerun the docker-stable action. Nothing should get hurt by the rebuild.
+ - 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)