mkosi: update to latest

This commit is contained in:
Daan De Meyer 2024-05-28 15:56:13 +02:00
parent 6448993a4b
commit 09466b2a0e

View file

@ -71,7 +71,7 @@ jobs:
steps: steps:
- uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 - uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633
- uses: systemd/mkosi@55f17a8ae67ece9712324c3107804daad94ad0d9 - uses: systemd/mkosi@8770a4e3390a68522f187acbcd33311040563fda
# Freeing up disk space with rm -rf can take multiple minutes. Since we don't need the extra free space # 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 # immediately, we remove the files in the background. However, we first move them to a different location