search

leanprover / reference-manual

Apache License 2.0
25 stars 3 forks source link

chore: disable offline link checker for release mode #133

Closed david-christiansen closed 3 weeks ago

david-christiansen commented 3 weeks ago

Right now it's a blocker, we can re-enable later.