diff options
| author | jvoisin | 2023-11-26 18:44:56 +0100 |
|---|---|---|
| committer | jvoisin | 2023-11-26 18:44:56 +0100 |
| commit | a9b53d0b7e80a42b679cb83ef5946d79d73412d7 (patch) | |
| tree | 6761d4eaa94a478607b6f26ad660f5e1a38c7e4f /.github | |
| parent | 6a9edc1c9b1d4d455f14ccf0c2e9234f4bcc0460 (diff) | |
Revert "Move from php8.3-rc to 8.3 in the CI"
This reverts commit 6a9edc1c9b1d4d455f14ccf0c2e9234f4bcc0460.
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 5125436..efdc0a4 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 | 14 | - php:8.3-rc |
| 15 | - php:8.2 | 15 | - php:8.2 |
| 16 | - php:8.1 | 16 | - php:8.1 |
| 17 | - php:8.0 | 17 | - php:8.0 |