Skip to content
Snippets Groups Projects

Merge branch 'patch-1' into 'master'

Passed
Moritz Huebner created pipeline for commit c1673158
, finished
For 154-sample_subset-in-priorset-should-not-have-have-list-as-a-default-argument-for-keys
2 jobs 3 minutes 9 seconds, queued for 0 seconds