diff options
| author | Julien Voisin | 2021-01-10 11:26:56 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-10 12:26:56 +0100 |
| commit | 1f0a382152933feec3184f0e8dc00ae4b89cd743 (patch) | |
| tree | da4e6acedafbfd2a2f094fc93c09ed79b7e49ac6 /src/tests/disable_function/disabled_functions_runtime.phpt | |
| parent | 24adfe998dd35229997923ecad0df11903bbc252 (diff) | |
Use github action for the CI (#373)
Diffstat (limited to 'src/tests/disable_function/disabled_functions_runtime.phpt')
0 files changed, 0 insertions, 0 deletions