From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 8 Oct 2021 05:42:33 +0000 (+0200)
Subject: gh action docker image: allow manual trigger
X-Git-Tag: v3.30~335^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1bc51ccb29f81cecfbc4f098311699ca84991d93

gh action docker image: allow manual trigger
---

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