Skip to content
Snippets Groups Projects

gitlab-ci: Use the helper-tools pipeline to update binaries

Passed
Emanuele Aina created pipeline for commit a8036068
, finished
branch
1 job 2 minutes 9 seconds, queued for 1 seconds