diff options
| author | jvoisin | 2024-07-09 15:17:19 +0200 |
|---|---|---|
| committer | jvoisin | 2024-07-09 15:45:22 +0200 |
| commit | 8b85382f29288bd4a8400844934241003e24bb4c (patch) | |
| tree | 3941e1a338b39d164463c43091f1c47563baaafa /.github | |
| parent | 1f349eaebdad6e84e32fa32c3511e5a6d3c92110 (diff) | |
Fix compilation for PHP84+
PHP changed some includes for PHP8.4. This commit also adds php8.4-rc to the CI
This fixes #497 and #496
Reported-by: rainerjung
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/builds.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 7578bbe..72294f1 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml | |||
| @@ -11,6 +11,7 @@ jobs: | |||
| 11 | strategy: | 11 | strategy: |
| 12 | matrix: | 12 | matrix: |
| 13 | container: | 13 | container: |
| 14 | - php:8.4-rc | ||
| 14 | - php:8.3 | 15 | - php:8.3 |
| 15 | - php:8.2 | 16 | - php:8.2 |
| 16 | - php:8.1 | 17 | - php:8.1 |