Skip to content
Snippets Groups Projects

repeat ourselves

Passed
Ralf Jung created pipeline for commit 08d238fd
, finished
Related merge request !490 to merge ralf/pair_equiv
4 minutes 32 seconds, queued for 2 seconds