diff options
| author | jvoisin | 2023-06-25 14:21:07 +0200 |
|---|---|---|
| committer | jvoisin | 2023-06-25 14:21:39 +0200 |
| commit | a3db93c2f18b147c48c6788e91f2eaecca935c61 (patch) | |
| tree | 79a28b255d73203e745dbeb3e72918580e4a9621 /Makefile | |
| parent | b034a167642faa012bd0afe6fb7b25e60470df46 (diff) | |
Add PHP8.3 to the CI
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions