diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/builds.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index adc3da9..2038ad7 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml | |||
| @@ -19,11 +19,12 @@ jobs: | |||
| 19 | if: startsWith(matrix.container, 'php:7') | 19 | if: startsWith(matrix.container, 'php:7') |
| 20 | run: | | 20 | run: | |
| 21 | pecl install vld-beta | 21 | pecl install vld-beta |
| 22 | rm -rf src/tests/*php8*/ src/tests/*/*_php8.phpt src/tests/disable_function/*_signal.phpt | 22 | rm -rf src/tests/*php8*/ src/tests/*/*_php8.phpt |
| 23 | - name: Build and run the testsuite | 23 | - name: Build and run the testsuite |
| 24 | run: | | 24 | run: | |
| 25 | make release | 25 | make release |
| 26 | ln -s $(php -r 'echo ini_get("extension_dir");')/* src/modules/ | 26 | ln -s $(php -r 'echo ini_get("extension_dir");')/* src/modules/ |
| 27 | rm -f src/tests/disable_function/*_signal.phpt | ||
| 27 | make tests | 28 | make tests |
| 28 | - name: Show logs in case of failure | 29 | - name: Show logs in case of failure |
| 29 | if: ${{ failure() }} | 30 | if: ${{ failure() }} |