Skip to content
Snippets Groups Projects

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

Passed
Emanuele Aina created pipeline for commit d09b7678
, finished
1 job 1 minute 51 seconds, queued for 2 seconds