From 1bc51ccb29f81cecfbc4f098311699ca84991d93 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 8 Oct 2021 07:42:33 +0200
Subject: [PATCH] gh action docker image: allow manual trigger

---
 .github/workflows/docker-stable.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docker-stable.yml b/.github/workflows/docker-stable.yml
index f4219b8bb5..f5b083d714 100644
--- 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
-- 
2.20.1