Skip to content
Snippets Groups Projects

Merge branch 'devel' into main

Passed
Joan Vallvé Navarro created pipeline for commit 751ae2a2
, finished
1 related merge request: !21 merge back
3 jobs 1 minute 5 seconds, queued for 1 seconds