Skip to content
Snippets Groups Projects

Merge branch 'workflow_for_github' into 'main'

Passed
Alexandru RADOVICI created pipeline for commit d79f42d3
, finished
Related merge request !3 to merge workflow_for_github into main
merge train
1 job 8 minutes 43 seconds, queued for 4 seconds