# documentation.
on:
+ workflow_dispatch:
# Rebuild when changing the stable branch
push:
branches:
- name: build
run: |
+ grep SIMGRID_VERSION_PATCH CMakeLists.txt| grep -q 'SIMGRID_VERSION_PATCH "0"' || (echo "Only run this action on stable source";exit 1)
cd tools/docker
make stable tuto-s4u tuto-smpi tuto-mc
docker push simgrid/stable