Add Fedora 43 SRPM

That doesn't include PLATFORM_ID in
its /etc/os-release any more.

Author: grooverdan

.github/workflows/build-srpm.yml

@@ -36,6 +36,11 @@ jobs:
             tag: fedora42-srpm
             platforms: linux/amd64, linux/arm64/v8
 
+          - dockerfile: srpm.Dockerfile
+            image: fedora:43
+            tag: fedora43-srpm
+            platforms: linux/amd64, linux/arm64/v8
+
           - dockerfile: srpm.Dockerfile
             image: registry.access.redhat.com/ubi7
             tag: rhel7-srpm

ci_build_images/srpm.Dockerfile

@@ -10,8 +10,8 @@ LABEL maintainer="MariaDB Buildbot maintainers"
 # REPOSITORY AND RPM TOOLS SETUP
 # hadolint ignore=SC2086
 RUN source /etc/os-release \
-    && case $PLATFORM_ID in  \
-        "platform:el8"|"platform:el9"|"platform:el10"|"platform:f41"|"platform:f42") \
+    && case "$ID:$VERSION_ID" in \
+        rhel:8*|rhel:9*|rhel:1*|fedora:*) \
             dnf -y upgrade \
             && dnf -y install rpm-build yum-utils wget which perl-generators sudo gcc-c++; \
             case $ID in \