From fcc17625956801a6e1885ad437716978aa0739fd Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 18 Feb 2021 15:01:09 +0100
Subject: [PATCH] Github actions: run doxygen daily instead of on push to
 prevent race condition

---
 .github/workflows/doxygen.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
index cbce68666..6927e72fc 100644
--- a/.github/workflows/doxygen.yml
+++ b/.github/workflows/doxygen.yml
@@ -2,9 +2,9 @@ name: Doxygen
 # Builds and deploys storms doxygen documentation
 
 on:
-  push:
-    branches:
-      - master
+  schedule:
+      # run daily
+      - cron: '0 8 * * *'
   # needed to trigger the workflow manually
   workflow_dispatch: