diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/mkosi.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml index 7070e9c..5842158 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -105,7 +105,7 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 - - uses: systemd/mkosi@7e975957a6af65c2e70428b6cda0c163ca7e1adc + - uses: systemd/mkosi@4eba736412c702bbbe2c6d4a58a92fa977219249 # 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 @@ -159,8 +159,6 @@ jobs: [Host] QemuMem=4G - # We build with debuginfo so there's no point in mounting the sources into the machine. - RuntimeBuildSources=no EOF - name: Generate secure boot key |