diff options
| author | jvoisin | 2024-07-05 20:48:54 +0200 |
|---|---|---|
| committer | jvoisin | 2024-07-05 20:48:54 +0200 |
| commit | 1f349eaebdad6e84e32fa32c3511e5a6d3c92110 (patch) | |
| tree | dad82a2f809e5af25c8ddbb1c7f0f27e8506a00e /.github/workflows/builds.yml | |
| parent | 79143354a0c9c4b797c6942c1f0c5a84547777ad (diff) | |
Disable PHP7.0 in the CI
It's not shipped anymore on Debian stable.
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/builds.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 5125436..7578bbe 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml | |||
| @@ -19,7 +19,6 @@ jobs: | |||
| 19 | - php:7.3 | 19 | - php:7.3 |
| 20 | - php:7.2 | 20 | - php:7.2 |
| 21 | - php:7.1 | 21 | - php:7.1 |
| 22 | - php:7.0 | ||
| 23 | container: ${{ matrix.container }} | 22 | container: ${{ matrix.container }} |
| 24 | steps: | 23 | steps: |
| 25 | - name: Checkout code | 24 | - name: Checkout code |