Re: [PATCH v2 01/35] scripts/ci: update gitlab-runner playbook to use latest runner

2023-01-24 Thread Richard Henderson
On 1/24/23 08:00, Alex Bennée wrote: We were using quite and old runner on our machines and running into issues with stalling jobs. Gitlab in the meantime now reliably provide the latest packaged versions of the runner under a stable URL. This update: - creates a per-arch subdir for builds

[PATCH v2 01/35] scripts/ci: update gitlab-runner playbook to use latest runner

2023-01-24 Thread Alex Bennée
We were using quite and old runner on our machines and running into issues with stalling jobs. Gitlab in the meantime now reliably provide the latest packaged versions of the runner under a stable URL. This update: - creates a per-arch subdir for builds - switches from binary tarballs to deb p