# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1661850987 -7200
# Node ID 19bd1953fc1df845c83b2950379c97d43f44cf48
# Parent  9ad55d2e1bbf35d9aacda4dd493c8c297124413a
GitHub-CI: Remove ubuntu-18.04 runners from build matrix.

* .github/workflow/make.yaml (ubuntu): GitHub-hosted runners for ubuntu-18.04
are being deprecated. Remove them from build matrix. See also:
https://github.com/actions/runner-images/issues/6002

diff -r 9ad55d2e1bbf -r 19bd1953fc1d .github/workflows/make.yaml
--- a/.github/workflows/make.yaml	Sun Aug 28 22:44:49 2022 +0200
+++ b/.github/workflows/make.yaml	Tue Aug 30 11:16:27 2022 +0200
@@ -14,7 +14,7 @@
       matrix:
         # For available GitHub-hosted runners, see:
         # https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
-        os: [ubuntu-22.04, ubuntu-20.04, ubuntu-18.04]
+        os: [ubuntu-22.04, ubuntu-20.04]
         compiler: [gcc, clang]
         include:
           - compiler: gcc