diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-11-02 10:12:03 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-11-02 10:12:58 +0100 |
| commit | 4c717abad20473ea0fb7b71a5c442b9e4a5b719a (patch) | |
| tree | 6e8ce45a2cb44819ac872e85233eece35b40ed24 /ext/reflection/php_reflection.c | |
| parent | 944c1cf034541e16ad2c953d7f783e576ed17d63 (diff) | |
| download | php-git-4c717abad20473ea0fb7b71a5c442b9e4a5b719a.tar.gz | |
Explicitly specify ubuntu versions on azure pipelines
Use the new 18.04 for the ones where the build succeeded and the
previous 16.04 where it didn't.
Diffstat (limited to 'ext/reflection/php_reflection.c')
0 files changed, 0 insertions, 0 deletions