Skip to content
Snippets Groups Projects

Fix bug 1533: Update config for nscharm

Passed
created pipeline for commit 11610286
, finished
Related merge request !159 to merge cherry-pick-4c5a1382
merge request
1 job 2 minutes 31 seconds, queued for 3 seconds