search

coq-community / topology

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
Other
46 stars 10 forks source link

enable the extra-dev opam repo in all ci #15

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

This should allow #13 to pass 8.11 and 8.12 CI.