Skip to content

chore: check Lean import and copyright header in CI #153

chore: check Lean import and copyright header in CI

chore: check Lean import and copyright header in CI #153

Annotations

1 warning

This job succeeded