]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
ci: switch tools tree from Fedira Rawhide to Arch 4143/head
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Wed, 28 Jan 2026 08:25:27 +0000 (09:25 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Wed, 28 Jan 2026 09:58:12 +0000 (09:58 +0000)
.github/workflows/ci.yml

index b759086ec2656d22390bfbe5c2a28cc3a6690a5e..368700d2f4d6a0b9c1ddc192be4e7c1c60d8b097 100644 (file)
@@ -24,8 +24,7 @@ jobs:
         run: |
           tee mkosi.local.conf <<EOF
           [Build]
-          ToolsTreeDistribution=fedora
-          ToolsTreeRelease=rawhide
+          ToolsTreeDistribution=arch
           EOF
 
           mkosi -f box -- true