Building of manual fails because of "No space left on device"

[daschuer]

It has started after merging #808

https://github.com/mixxxdj/manual/actions/runs/19539474785/job/55941685771

2025-11-24T14:21:46.7969903Z WARNING: Failed to copy a file in html_static_file: /home/runner/work/manual/manual/source/_static/controllers/numark_mixtrack_pro_3.svg: OSError(28, 'No space left on device')
2025-11-24T14:21:46.7972116Z WARNING: Failed to copy a file in html_static_file: /home/runner/work/manual/manual/source/_static/controllers/behringer_ddm4000_page1_mixer.svg: OSError(28, 'No space left on device')
2025-11-24T14:21:46.7974525Z WARNING: Failed to copy a file in html_static_file: /home/runner/work/manual/manual/source/_static/controllers/pioneer_ddj_sb3_hotcue.svg: OSError(28, 'No space left on device')
2025-11-24T14:21:46.7976946Z WARNING: Failed to copy a file in html_static_file: /home/runner/work/manual/manual/source/_static/controllers/icon_p1nano.svg: OSError(28, 'No space left on device')
2025-11-24T14:21:46.7979702Z WARNING: Failed to copy a file in html_static_file: /home/runner/work/manual/manual/source/_static/controllers/soundless_studio_joymidi_bank3.jpg: OSError(28, 'No space left on device')

[JoergAtGithub]

Maybe the same fix as for the VCPKG Linux runner is needed here. Does it still occur?

[daschuer]

This occurs again:

System.IO.IOException: No space left on device : '/home/runner/actions-runner/cached/_diag/Worker_20260415-161328-utc.log'
Unhandled exception. System.IO.IOException: No space left on device : '/home/runner/actions-runner/cached/_diag/Worker_20260415-161328-utc.log'

https://github.com/mixxxdj/manual/actions/runs/24465311357/job/71490605753