Skip to content
Snippets Groups Projects

diverging_static can now be checked in the type system

Passed
Ralf Jung created pipeline for commit 5b40fd70
, finished
For master
16 minutes 57 seconds, queued for 2 seconds