Merge branch 'develop' into 'main'
Passed
Kostis Trantzas
created pipeline for commit
3e93358b
, finished
1 related merge request: !11 Merge branch 'main' into 'develop'
1 minute 30 seconds, queued for 1 seconds