Build workflow: remove old distros.

This removes old and unsupported Linux distros:

*   Ubuntu 16 ("Xenial", support ended April 2021)
*   Ubuntu 18 ("Bionic Beaver", support ended June 2023)
*   Enterprise Linux 7 (technically still supported, but nine years old
    at this point)
*   Fedora 34 (support ended June 2022)
*   Fedora 35 (support ended December 2022)

Fedora 36 is also unsupported. We will keep the builder until we have
never versions of Fedora available (or at least Rawhide builds again).

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 808304ffcc02b13b68a2f3c6fb42a5cf5f14f911..3a38a03b2472a43f2d8bcb88efca502924c3d517 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -29,14 +29,10 @@ jobs:
           # Ubuntu
           - focal_amd64
           - bionic_amd64
-          - xenial_amd64
           # RedHat family
           - el9_x86_64
           - el8_x86_64
-          - el7_x86_64
           - fedora36_x86_64
-          - fedora35_x86_64
-          - fedora34_x86_64
         config_flags: ['']
     env:
       MAKEFLAGS: "-j2 -sk"