diff options
| author | jvoisin | 2023-08-07 01:17:57 +0200 |
|---|---|---|
| committer | jvoisin | 2023-08-07 01:18:18 +0200 |
| commit | 77a3b309a5a6867118fab43c231ecdaaeb04f215 (patch) | |
| tree | 6b74a2c52e3acfa0abcd876543e54035e1146aef /src/tests/disable_function/config/disabled_functions_eval.ini | |
| parent | 0e083e2a9b45f159d38eddb843f49909530f6fd4 (diff) | |
Remove archlinux from the php7 CI
Arch doesn't ship php7 anymore
Diffstat (limited to 'src/tests/disable_function/config/disabled_functions_eval.ini')
0 files changed, 0 insertions, 0 deletions