Skip to content
Snippets Groups Projects

Merge branch 'develop' into script_update

Passed
Carlos Brito created pipeline for commit da96f7c1
, finished
1 related merge request: !18 Script update
1 job 1 minute 24 seconds, queued for 1 seconds