mkosi: Update to latest

2024-12-08 12:55:35 +01:00
parent 261a3d191e
commit 2ebb4c3991
1 changed files with 1 additions and 1 deletions
@@ -113,7 +113,7 @@ jobs:

    steps:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
-      - uses: systemd/mkosi@07ef37c4c0dad5dfc6cec86c967a7600df1cd88c
+      - uses: systemd/mkosi@c4bbf3b71a3e2cf947995caedf10f69da3c4957a

      # 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