mkosi: Update to latest

2024-07-10 16:52:54 +02:00
parent 40d9c16d1e
commit d5c3868181
1 changed files with 1 additions and 1 deletions
@@ -92,7 +92,7 @@ jobs:

    steps:
    - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332
-    - uses: systemd/mkosi@6b66aa9096948e0bc38154333687584e0351f450
+    - uses: systemd/mkosi@4681dd733a925cd048d0301af26221bce0c95eed

    # 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