Skip to content

Commit

Permalink
CI: add schedule trigger to run once a day
Browse files Browse the repository at this point in the history
This way it will not catch us by surprise when suddenly
CI fails when the reason is not really related to the
commit being pushed, but by some change done on the GitHub
side.
  • Loading branch information
knocte committed May 8, 2024
1 parent 973fda0 commit 9b1ee11
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion .github/workflows/CI.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,14 @@
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
Expand Down

0 comments on commit 9b1ee11

Please sign in to comment.