gh action docker image: allow manual trigger

diff --git a/.github/workflows/docker-stable.yml b/.github/workflows/docker-stable.yml
index f4219b8..f5b083d 100644 (file)
--- a/.github/workflows/docker-stable.yml
+++ b/.github/workflows/docker-stable.yml
@@ -6,6 +6,7 @@ name: Docker stable
 # documentation.
 
 on:
+  workflow_dispatch:
   # Rebuild when changing the stable branch
   push:
       branches:
@@ -35,6 +36,7 @@ jobs:
 
       - 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