diff options
author | Luca Boccassi <bluca@debian.org> | 2024-06-17 16:40:10 +0200 |
---|---|---|
committer | Luca Boccassi <bluca@debian.org> | 2024-06-17 18:40:48 +0200 |
commit | 3001339dc5b3faf8f8edee4c07b14a4abdf3d66f (patch) | |
tree | bb31e6eb7161dd4a2f1a7ec097180a10bf4e117f /.github | |
parent | CI: disable secure boot in mkosi GHA runs (diff) | |
download | systemd-3001339dc5b3faf8f8edee4c07b14a4abdf3d66f.tar.xz systemd-3001339dc5b3faf8f8edee4c07b14a4abdf3d66f.zip |
mkosi: bump 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 62efd367cb..3a8dabd95c 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -92,7 +92,7 @@ jobs: steps: - uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 - - uses: systemd/mkosi@0081ea66faf56a35353d6aeadfe42f9679c7d1cf + - uses: systemd/mkosi@6972f9efba5c8472d990be3783b7e7dbf76e109e # 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 |