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 /scripts | |
| parent | 6a9edc1c9b1d4d455f14ccf0c2e9234f4bcc0460 (diff) | |
Revert "Move from php8.3-rc to 8.3 in the CI"
This reverts commit 6a9edc1c9b1d4d455f14ccf0c2e9234f4bcc0460.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions