Skip to content
Snippets Groups Projects

notypeclasses apply: do not unfold the type

Passed
Ralf Jung created pipeline for commit 8dd38309
, finished
Related merge request !586 to merge ralf/notc-apply-no-hnf
merge request
2 jobs 2 minutes 48 seconds, queued for 0 seconds