diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 25687b74..75e5415b 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,6 +1,14 @@ name: CI -on: [push, pull_request] +on: + push: + pull_request: + workflow_dispatch: + + # see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule + schedule: + # once a day + - cron: "0 0 * * *" jobs: