diff options
| author | jvoisin | 2022-03-04 13:03:03 +0100 |
|---|---|---|
| committer | jvoisin | 2022-03-04 13:03:03 +0100 |
| commit | d8a98df75c73e7079d06e641e6fa0ea5fc0899eb (patch) | |
| tree | 8573f202ea750c98560966164fc4e5a2c471a9e9 /.github/workflows/builds.yml | |
| parent | eede22217bb766a2982b10ee294f20c3bf4dea3e (diff) | |
Run the CI every week
Diffstat (limited to '.github/workflows/builds.yml')
| -rw-r--r-- | .github/workflows/builds.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 67c1135..a85c2e8 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml | |||
| @@ -1,5 +1,9 @@ | |||
| 1 | name: CI for php versions | 1 | name: CI for php versions |
| 2 | on: ['pull_request', 'push'] | 2 | on: |
| 3 | pull_request: | ||
| 4 | push: | ||
| 5 | schedule: | ||
| 6 | - cron: '0 16 * * 5' | ||
| 3 | 7 | ||
| 4 | jobs: | 8 | jobs: |
| 5 | ci: | 9 | ci: |