diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/mkosi.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml index b1a41a3cdb..7aea3769f3 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -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 |