diff options
| author | FUJITA Tomonori <fujita.tomonori@gmail.com> | 2020-11-09 23:31:36 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@gmail.com> | 2020-11-09 23:31:36 +0900 |
| commit | 9a5c7f32d305b0a8bbe2af984d9be0d9c7dc3688 (patch) | |
| tree | 4c87f8f4996353f1fb8f4db345640a98b4ef1f5d /tools/completion | |
| parent | 3df131c6ba76626ebd223f512e1308193ca5e37c (diff) | |
ci: use ubuntu 18.04 for all jobs
No need to use 16.04 for some.
Signed-off-by: FUJITA Tomonori <fujita.tomonori@gmail.com>
Diffstat (limited to 'tools/completion')
0 files changed, 0 insertions, 0 deletions