Skip to content
Snippets Groups Projects

Merge branch '185.use-stable-nix' into 'develop'

Passed
Florian Sesser created pipeline for commit 0d478f38
, finished
Related merge request !534 to merge develop
merge request
8 jobs 1 minute 0 seconds, queued for 3 seconds