diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/distributions.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/distributions.yml b/.github/workflows/distributions.yml index d36435c..447dcac 100644 --- a/.github/workflows/distributions.yml +++ b/.github/workflows/distributions.yml | |||
| @@ -103,11 +103,14 @@ jobs: | |||
| 103 | - name: Install dependencies | 103 | - name: Install dependencies |
| 104 | run: apk add php7-dev php7-cgi php7-simplexml php7-xml pcre-dev build-base php7-pear php7-openssl | 104 | run: apk add php7-dev php7-cgi php7-simplexml php7-xml pcre-dev build-base php7-pear php7-openssl |
| 105 | - name: Install pecl | 105 | - name: Install pecl |
| 106 | continue-on-error: true | ||
| 106 | run: pecl install vld-beta | 107 | run: pecl install vld-beta |
| 107 | - name: Build and run the testsuite | 108 | - name: Build and run the testsuite |
| 109 | continue-on-error: true | ||
| 108 | run: make tests | 110 | run: make tests |
| 109 | - name: Show logs in case of failure | 111 | - name: Show logs in case of failure |
| 110 | if: ${{ failure() }} | 112 | if: ${{ failure() }} |
| 113 | continue-on-error: true | ||
| 111 | run: | | 114 | run: | |
| 112 | grep -r . ./src/tests/*/*.out | 115 | grep -r . ./src/tests/*/*.out |
| 113 | grep -r . ./src/tests/*/*.diff | 116 | grep -r . ./src/tests/*/*.diff |