search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
189 stars 50 forks source link

[DO NOT MERGE] Debugging CI #400

Closed rtetley closed 8 months ago

rtetley commented 8 months ago

Fixed by #402