mkosi: Update to latest

This commit is contained in:
Daan De Meyer
2025-02-14 15:21:04 +01:00
parent d08848b906
commit 487ec6aa3f
3 changed files with 5 additions and 3 deletions

View File

@@ -25,7 +25,7 @@ jobs:
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
- uses: systemd/mkosi@4519cfd9f5f4a32c96e4d4e0f2df7005b677057f
- uses: systemd/mkosi@13eb5b68bd5fb234dd0da3b242d80954faf91b95
# 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

View File

@@ -120,7 +120,7 @@ jobs:
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
- uses: systemd/mkosi@4519cfd9f5f4a32c96e4d4e0f2df7005b677057f
- uses: systemd/mkosi@13eb5b68bd5fb234dd0da3b242d80954faf91b95
# 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