update workflow

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c6be8029bccaf413d4d1cf30b5624d6d16facbd4..22c941ca291d61198e6537814d47e7fb86cf5063 100644 (file)
--- 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 ff4e890bd530f5c7c4aa61b8c4e1fbc112225844..e3e13e8df69ec02086a6c51d582065ed402cc480 100755 (executable)
--- 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:
 <?php
@@ -57,6 +83,7 @@ foreach ($job as $id => $env) {
       - name: Coverage
         if: success()
         run: |
+          find . -name '*.gc*'
           cd .libs
           bash <(curl -s https://codecov.io/bash) -X xcode -X coveragepy
 <?php endif; ?>