diff options
| author | Daan De Meyer <daan.j.demeyer@gmail.com> | 2024-08-19 11:27:26 +0200 |
|---|---|---|
| committer | Daan De Meyer <daan.j.demeyer@gmail.com> | 2024-08-22 11:39:02 +0200 |
| commit | 2dc99fdadb1eeba998e21760301bbe0142653446 (patch) | |
| tree | cecb8c327b4db7c467a80c6d145090d40ad98ed5 /.github | |
| parent | mkosi: Improve formatting (diff) | |
| download | systemd-2dc99fdadb1eeba998e21760301bbe0142653446.tar.xz systemd-2dc99fdadb1eeba998e21760301bbe0142653446.zip | |
mkosi: Update to latest
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 7fc532164b..d77307fe42 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -105,7 +105,7 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 - - uses: systemd/mkosi@63fc1fde5b1aac1abf07ac499068c2b62263dafb + - uses: systemd/mkosi@2d338abea5770801c2c1afa8dbb829a5cba975dc # 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 |