Skip to content
Snippets Groups Projects

Merge branch 'update_general_guidelines' into 'main'

Passed
Frank Winklmeier created pipeline for commit 4d2c3211
, finished
Related merge request !88 to merge update_general_guidelines into main
merged results
4 jobs 1 minute 12 seconds, queued for 1 seconds