From 702e350896aeab6c5a0d6327ee5e3a341a8a9e72 Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Thu, 20 Jan 2022 14:48:33 +0100 Subject: [PATCH] update workflow --- .github/workflows/ci.yml | 29 ++++++++++++++++++++++++++++- scripts/gen_github_workflow_ci.php | 29 ++++++++++++++++++++++++++++- 2 files changed, 56 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c6be802..22c941c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,8 +3,34 @@ name: ci on: workflow_dispatch: - push: + release: + types: [published] pull_request: + paths-ignore: + - .editorconfig + - .gitignore + - AUTHORS + - CONTRIBUTING.md + - CREDITS + - Dockerfile + - 'docs/**' + - EXPERIMENTAL + - gen_stub.php*.diff + - LICENSE + - README.md + push: + paths-ignore: + - .editorconfig + - .gitignore + - AUTHORS + - CONTRIBUTING.md + - CREDITS + - Dockerfile + - 'docs/**' + - EXPERIMENTAL + - gen_stub.php*.diff + - LICENSE + - README.md jobs: cur-0: @@ -144,6 +170,7 @@ jobs: - name: Coverage if: success() run: | + find . -name '*.gc*' cd .libs bash <(curl -s https://codecov.io/bash) -X xcode -X coveragepy diff --git a/scripts/gen_github_workflow_ci.php b/scripts/gen_github_workflow_ci.php index ff4e890..e3e13e8 100755 --- a/scripts/gen_github_workflow_ci.php +++ b/scripts/gen_github_workflow_ci.php @@ -4,8 +4,34 @@ name: ci on: workflow_dispatch: - push: + release: + types: [published] pull_request: + paths-ignore: + - .editorconfig + - .gitignore + - AUTHORS + - CONTRIBUTING.md + - CREDITS + - Dockerfile + - 'docs/**' + - EXPERIMENTAL + - gen_stub.php*.diff + - LICENSE + - README.md + push: + paths-ignore: + - .editorconfig + - .gitignore + - AUTHORS + - CONTRIBUTING.md + - CREDITS + - Dockerfile + - 'docs/**' + - EXPERIMENTAL + - gen_stub.php*.diff + - LICENSE + - README.md jobs: $env) { - name: Coverage if: success() run: | + find . -name '*.gc*' cd .libs bash <(curl -s https://codecov.io/bash) -X xcode -X coveragepy -- 2.30.2