diff options
| author | Catherine <whitequark@whitequark.org> | 2023-02-03 20:52:18 +0000 |
|---|---|---|
| committer | Catherine <whitequark@whitequark.org> | 2023-02-03 20:52:18 +0000 |
| commit | 609a65c163c1374fb5f9c528253c36caa8edd56f (patch) | |
| tree | a493cf437460e1c7aa3365c57e49ea52db2050b1 /.github | |
| parent | e4fd6136652cd862bd0ac34aa8b9dbc5c6c5bef8 (diff) | |
CI: test daily against git HEAD of Amaranth.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2485e51..afa22f5 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,4 +1,8 @@ -on: [push, pull_request] +on: + push: + pull_request: + schedule: + - cron: '0 0 * * *' # test daily against git HEAD of dependencies name: CI jobs: test: |