Skip to content
Snippets Groups Projects

Resolved duplicate lemma

Passed
Jonas Kastberg created pipeline for commit 4575401f
, finished
Related merge request !357 to merge sublist_lemmas
latest merge request
2 jobs 3 minutes 37 seconds, queued for 3 seconds