Github actions: run doxygen daily instead of on push to prevent race condition

5 years ago · fcc1762595
1 changed files with 3 additions and 3 deletions
--- 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: