Skip to content
Snippets Groups Projects

relations lemmas

Passed
Ralf Jung created pipeline for commit dbd58457
, finished
Related merge request !316 to merge ralf/relations
6 minutes 32 seconds, queued for 5 seconds