Skip to content
Snippets Groups Projects

CHANGELOG.

Passed
Robbert Krebbers created pipeline for commit 5eff5bfd
, finished
Related merge request !306 to merge robbert/singleton_subseteq
merge request
2 jobs 5 minutes 0 seconds, queued for 6 seconds