diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index aaf81ed89..ee935e216 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,6 +1,13 @@ name: CI -on: [push, pull_request, workflow_dispatch] +on: + push: + pull_request: + workflow_dispatch: + + # to execute once a day (more info see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule ) + schedule: + - cron: "0 0 * * *" # FIXME: figure out why we need to clean after make if we # want 'make strict' target to really happen without