Skip to content
Snippets Groups Projects

Merge branch 'ci-nix' into 'master'

Passed
Jakub Ružička created pipeline for commit 5cc0b0d7
, finished
For master
6 jobs 38 seconds, queued for 2 seconds