search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Continuous integration #109

Open maximedenes opened 5 years ago

maximedenes commented 5 years ago

We should really set up a CI for this repo. @Zimmi48 could you help setting up a Gitlab CI mirror with coqbot synchro?

Zimmi48 commented 5 years ago

Sure.

Zimmi48 commented 5 years ago

Should be done now. However, there is not yet a .gitlab-ci.yml configuration file, so it is a bit hard to test that everything is in order.