Merge pull request #8418 from robx/bump-ubuntu
commitc1f490a50782cc89030889fae8edd9f95db7c1e4
authorRobert <rob@vllmrt.net>
Mon, 22 Aug 2022 15:10:19 +0000 (22 17:10 +0200)
committerGitHub <noreply@github.com>
Mon, 22 Aug 2022 15:10:19 +0000 (22 17:10 +0200)
tree2f9d3db4a97852e83aff7efc874a296ab33c81a5
parent5b9f7093f6d8136350a577fa8fb35e7d37e7203a
parentb37168f53effb9957946c021d0eccb65d63dad73
Merge pull request #8418 from robx/bump-ubuntu

ci: use ubuntu-latest instead of ubuntu-18.04