From da88f15243b5c196d25cb697cba9c672cf7d07f1 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 8 Oct 2021 01:01:54 +0200
Subject: [PATCH] Docker action: don't rebuild the tuto images each week as
 they build upon stable

---
 .github/workflows/docker.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index db991850db..3a84db3ee2 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -33,8 +33,7 @@ jobs:
       - name: build
         run: |
           cd tools/docker
-          make stable
-          make all
+          make unstable
           make push
       - name: Create the failure Message
         if: ${{ failure() }}
-- 
2.20.1