Vadim Zeitlin 1074cc885e Run Ubuntu 18.04 builds in a container on GitHub CI ... Ubuntu 18.04 runner environment is being deprecated, so use a container running inside the latest Ubuntu runner environment instead. This is a combined cherry-pick of several commits merged into master as part of e6dfd9748f (Merge branch 'ci-use-containers', 2022-10-10) excluding those removing pre-C++11 support, which is still needed in this branch.		2023-03-06 23:09:49 +01:00
..
ISSUE_TEMPLATE	Make the issue template even more prescriptive	2022-06-10 18:14:35 +02:00
workflows	Run Ubuntu 18.04 builds in a container on GitHub CI	2023-03-06 23:09:49 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00