Skip to content
Snippets Groups Projects

coq-lint: enforce TC opaque having locality annotations

Passed
Ralf Jung created pipeline for commit 11113899
, finished
Related merge request !473 to merge robbert/coq815
merge request
1 job 4 minutes 2 seconds, queued for 6 seconds