changeset 31215:5573b1d511c9

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Tue, 30 Aug 2022 11:16:55 +0200
parents bc385e42e09a (current diff) 19bd1953fc1d (diff)
children 1469658f769b
files .github/workflows/make.yaml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Mon Aug 29 18:36:17 2022 +0200
+++ b/.github/workflows/make.yaml	Tue Aug 30 11:16:55 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