summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjvoisin2021-01-05 18:09:37 +0100
committerjvoisin2021-01-05 18:19:44 +0100
commit0aa00a1a2357a58e583e2732b6b90021bc192a52 (patch)
treebfdb1654e517df48d97974fb3731f11bdb79754f
parent33ddf2bc6eda0e3305b6ecc8d7767ab9f393d8a9 (diff)
Add debian stable to the CI
-rw-r--r--.gitlab-ci.yml9
1 files changed, 8 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 14317f5..8e8e2e5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
5 stage: testsuite 5 stage: testsuite
6 script: 6 script:
7 - pecl install vld-beta 7 - pecl install vld-beta
8 - rm -rf src/tests/*php8*/ 8 - rm -rf src/tests/*php8*/
9 - make tests 9 - make tests
10 after_script: 10 after_script:
11 - grep -r . ./src/tests/*/*.out 11 - grep -r . ./src/tests/*/*.out
@@ -42,3 +42,10 @@ testsuite:php7.4:
42testsuite:php8.0: 42testsuite:php8.0:
43 extends: .php8 43 extends: .php8
44 image: php:8.0 44 image: php:8.0
45
46testsuite:debian:
47 extends: .php7
48 image: debian:stable
49 before_script:
50 - apt update
51 - apt install -y --no-install-recommends php-dev