mkosi: Update to latest

2024-10-09 20:36:57 +02:00
parent d615d4e0de
commit 7d9464ceac
2 changed files with 5 additions and 1 deletions
@@ -105,7 +105,7 @@ jobs:

    steps:
      - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938
-      - uses: systemd/mkosi@3454f7bd4ef0336ec80a117d593baaef0fe53398
+      - uses: systemd/mkosi@2a35f9958bc6b82d95d1eac02dc245e9bb068765

      # 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