Skip to content
Snippets Groups Projects

make empty operational typeclass TC opaque

Passed
Ralf Jung created pipeline for commit 5edd2c46
, finished
Related merge request !474 to merge ralf/empty-opaque
5 minutes 24 seconds, queued for 2 seconds