add FAQ item on Coq's CI

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.

Other

68 stars 6 forks source link

add FAQ item on Coq's CI #149

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

Followup to comment by @Zimmi48 in #93.

palmskog commented 1 year ago

I went with: Coq's CI, Coq package index, Coq Platform, Coq contribs. To my knowledge, there was no particular previous order, and this one is closest to dependency order.