From e610edc19710fe5fd74fcb111771f5a649bd5078 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 17 Dec 2020 21:44:50 +0100
Subject: [PATCH] Run github actions daily

---
 .github/workflows/buildtest.yml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
index c7cb5cf39..6f2b5421d 100644
--- a/.github/workflows/buildtest.yml
+++ b/.github/workflows/buildtest.yml
@@ -3,6 +3,9 @@ name: Build Test
 # also deploys images to dockerhub
 
 on:
+  schedule:
+      # run daily
+      - cron: '0 6 * * *'
   # needed to trigger the workflow manually
   workflow_dispatch:
 
@@ -102,8 +105,8 @@ jobs:
         # dummy step for now
       - name: Deploy carl
         run: |
-          sudo docker commit storm movesrwth/carl:actions-${{ matrix.debugOrRelease }}
-          sudo docker push movesrwth/carl:actions-${{ matrix.debugOrRelease }}
+          sudo docker commit storm movesrwth/carl:ci-${{ matrix.debugOrRelease }}
+          sudo docker push movesrwth/carl:ci-${{ matrix.debugOrRelease }}
 
 
         #####
@@ -132,5 +135,5 @@ jobs:
         # dummy step for now
       - name: Deploy storm
         run: |
-          sudo docker commit storm movesrwth/storm:actions-${{ matrix.debugOrRelease }}
-          sudo docker push movesrwth/storm:actions-${{ matrix.debugOrRelease }}
+          sudo docker commit storm movesrwth/storm:ci-${{ matrix.debugOrRelease }}
+          sudo docker push movesrwth/storm:ci-${{ matrix.debugOrRelease }}