diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2020-08-20 13:44:03 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-20 13:44:03 +0300 |
| commit | ebc80dba789415cedda003baee3af391531860b2 (patch) | |
| tree | fae38c98ab105052b92b63d6c3c6d4ef4545a913 /.github | |
| parent | 1742510b5e5bd93addb67b2076f157e66a19cada (diff) | |
Run update-psalm-baseline action every 5 minutes
For debugging purposed due to a GitHub bug.
See #22325
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/update-psalm-baseline.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/update-psalm-baseline.yml b/.github/workflows/update-psalm-baseline.yml index 3822cbf1cc1..96e538161bc 100644 --- a/.github/workflows/update-psalm-baseline.yml +++ b/.github/workflows/update-psalm-baseline.yml @@ -2,7 +2,7 @@ name: Update Psalm baseline on: schedule: - - cron: '5 6 * * *' + - cron: '*/5 * * * *' jobs: update-psalm-baseline: |