Skip to content

proof-stat: admitted proofs count as failing #700

proof-stat: admitted proofs count as failing

proof-stat: admitted proofs count as failing #700

Annotations

2 warnings

This job succeeded