Max Gautier 6138c6a1a2 CI: use a dedicated disk for releases (#12692) ...

This should make 'no space left on device' problems easier to handle

Use /tmp/releases as local_release_dir CI created machine, while keeping
the same folder on the runner (needed for gitlab-ci runner pods)

2025-11-17 02:57:39 -08:00

2.4 KiB

Executable File

Raw Blame History

View Raw