Skip to content

proof-stat: admitted proofs count as failing #242

proof-stat: admitted proofs count as failing

proof-stat: admitted proofs count as failing #242

Annotations

2 warnings

This job succeeded