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/distributions.yml | |
| parent | eede22217bb766a2982b10ee294f20c3bf4dea3e (diff) | |
Run the CI every week
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/distributions.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/distributions.yml b/.github/workflows/distributions.yml index 3b90fee..1952ebb 100644 --- a/.github/workflows/distributions.yml +++ b/.github/workflows/distributions.yml | |||
| @@ -1,5 +1,10 @@ | |||
| 1 | name: CI for linux distributions | 1 | name: CI for linux distributions |
| 2 | on: ['pull_request', 'push'] | 2 | on: |
| 3 | pull_request: | ||
| 4 | push: | ||
| 5 | schedule: | ||
| 6 | - cron: '0 16 * * 5' | ||
| 7 | |||
| 3 | 8 | ||
| 4 | jobs: | 9 | jobs: |
| 5 | debian: | 10 | debian: |