mkosi: Various improvements and fixes (#36931)

This commit is contained in:
Daan De Meyer
2025-04-02 13:02:10 +02:00
committed by GitHub
71 changed files with 144 additions and 118 deletions

View File

@@ -25,7 +25,7 @@ jobs:
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
- uses: systemd/mkosi@03d1a1b4cdc474c55166a2f48be244748011206d
- uses: systemd/mkosi@660874417bbe355121d705d2a049af39ddf28b58
# 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@03d1a1b4cdc474c55166a2f48be244748011206d
- uses: systemd/mkosi@660874417bbe355121d705d2a049af39ddf28b58
# 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