mkosi: Update to latest

2025-04-07 13:31:37 +02:00
parent b5d68c6ded
commit a94520dc78
2 changed files with 2 additions and 2 deletions
@@ -25,7 +25,7 @@ jobs:

    steps:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
-      - uses: systemd/mkosi@600d847f59ca78dd04a3a4127debfb934e46fc2e
+      - uses: systemd/mkosi@a1a7e1f63e1726d88d5770fa06b29201d73e31a3

      # Freeing up disk space with rm -rf can take multiple minutes. Since we don't need the extra free space
      # immediately, we remove the files in the background. However, we first move them to a different location