Skip to content
Snippets Groups Projects

Merge branch 'dev' into f-dict-heuristic

Failed
Florian Spreckelsen created pipeline for commit 811ee3bc
, finished
1 related merge request: !163 F dict heuristic
12 jobs 12 minutes 31 seconds, queued for 5 seconds