Skip to content
Snippets Groups Projects

Remove `:>>` subclass instance declarations

Passed
Robbert Krebbers created pipeline for commit d9b128a7
, finished
branch
8 jobs 10 minutes 4 seconds, queued for 8 seconds