liang.he aa7d447ee5 Update Ubuntu CI platforms to 20.04 and 22.04 (#1385) ... From Gtihub: The ubuntu-18.04 environment is deprecated, consider switching to ubuntu-20.04 (ubuntu-latest), or ubuntu-22.04 instead. https://github.com/actions/runner-images/issues/6002		2022-08-16 10:02:02 +08:00
..
workflows	Update Ubuntu CI platforms to 20.04 and 22.04 (#1385)	2022-08-16 10:02:02 +08:00