Lars-Peter Clausen f253655e25 ci: Remove the Ubuntu 18.04 runner ... Github has announced[1] that it is going to remove support for the Ubuntu 18.04 runner. It will start introducing temporary failures at increasing frequency in October 22 and completely remove support for it in April 23. To avoid CI failing remove the Ubuntu 18.04 runner and add the 22.04 runner instead. [1] https://github.blog/changelog/2022-08-09-github-actions-the-ubuntu-18-04-actions-runner-image-is-being-deprecated-and-will-be-removed-by-12-1-22/ Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>		2022-09-10 19:42:37 +02:00
..
deploy_docs.yml	Action to deploy documentation to gh-pages	2022-04-15 20:49:13 -07:00
test.yml	ci: Remove the Ubuntu 18.04 runner	2022-09-10 19:42:37 +02:00