diff options
Diffstat (limited to '.github/workflows/coverage.yml')
| -rw-r--r-- | .github/workflows/coverage.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 4d90641d1a..587a1c0c5b 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -24,7 +24,7 @@ jobs: steps: - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 - - uses: systemd/mkosi@ba07d53000b6c560ad0b9f07550aca93c0284e88 + - uses: systemd/mkosi@7051715d8541d4d077a218f7445976225ec74d78 # 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 |