Fedora 42 is released, update CI

43 is not there yet but will be at some point.

Author: haesbaert

.buildkite/pipeline.yml

@@ -192,7 +192,7 @@ steps:
       machineType: n2-standard-2
       enableNestedVirtualization: true
 
-  - label: "quark-test on fedora 42 (beta)"
+  - label: "quark-test on fedora 42"
     key: test_fedora_42
     command: "./.buildkite/runtest_distro.sh fedora 42"
     depends_on:

krun-fedora.sh

@@ -20,7 +20,7 @@ shift 2
 
 case $FEDORAVER in
 2?|3?)		URL="https://archives.fedoraproject.org/pub/archive/fedora/linux/updates/$FEDORAVER/Everything/x86_64/Packages/k";;
-42|rawhide)	URL="https://ftp.fau.de/fedora/linux/development/$FEDORAVER/Everything/x86_64/os/Packages/k";;
+43|rawhide)	URL="https://ftp.fau.de/fedora/linux/development/$FEDORAVER/Everything/x86_64/os/Packages/k";;
 4?)		URL="https://ftp.fau.de/fedora/linux/updates/$FEDORAVER/Everything/x86_64/Packages/k";;
 *)		echo bad version "$FEDORAVER" 1>&2;;
 esac