Skip to content
Snippets Groups Projects

Add setoid rewrite

Warning
Björn Brandenburg created pipeline for commit f9ef8745
, finished
For master
17 jobs 12 minutes 25 seconds, queued for 10 seconds