Skip to content
Snippets Groups Projects

add make_simple_intropattern

Passed
Ralf Jung created pipeline for commit 559e3cba
, finished
Related merge request !515 to merge ralf/make_simple_intropattern
5 minutes 45 seconds, queued for 3 seconds