diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index e6b1e71a98e..b1d5cdff038 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,8 +1,10 @@ # https://docs.github.com/en/actions on: - - pull_request - - push + pull_request: null + push: null + schedule: + - cron: "15 0 * * *" name: CI @@ -39,6 +41,8 @@ jobs: coding-guidelines: name: Coding Guidelines + if: github.event_name != 'schedule' + runs-on: ubuntu-latest steps: @@ -59,6 +63,8 @@ jobs: type-checker: name: Type Checker + if: github.event_name != 'schedule' + needs: - dependency-validation @@ -183,6 +189,8 @@ jobs: code-coverage: name: Code Coverage + if: github.event_name != 'schedule' + needs: - end-to-end-tests @@ -215,6 +223,8 @@ jobs: build-phar: name: Build PHAR + if: github.event_name != 'schedule' + needs: - end-to-end-tests @@ -260,6 +270,8 @@ jobs: test-phar: name: Test PHAR + if: github.event_name != 'schedule' + needs: - build-phar