diff options
| author | jvoisin | 2023-11-24 12:04:56 +0100 |
|---|---|---|
| committer | jvoisin | 2023-11-24 12:04:56 +0100 |
| commit | 6a9edc1c9b1d4d455f14ccf0c2e9234f4bcc0460 (patch) | |
| tree | f584a4fb1fcaa4af100aa3ad7e65283e3e5a24d2 /.github | |
| parent | 320b3f831f755e6bd4c7ac0334d719bb4b778723 (diff) | |
Move from php8.3-rc to 8.3 in the CI
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/builds.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index efdc0a4..5125436 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml | |||
| @@ -11,7 +11,7 @@ jobs: | |||
| 11 | strategy: | 11 | strategy: |
| 12 | matrix: | 12 | matrix: |
| 13 | container: | 13 | container: |
| 14 | - php:8.3-rc | 14 | - php:8.3 |
| 15 | - php:8.2 | 15 | - php:8.2 |
| 16 | - php:8.1 | 16 | - php:8.1 |
| 17 | - php:8.0 | 17 | - php:8.0 |