search

affeldt-aist / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
1 stars 3 forks source link

think of a test suite #27

Open affeldt-aist opened 7 months ago

affeldt-aist commented 7 months ago

@yoshihiro503

@proux01 : let's think of a test suite to check the stability of coq2html and put in the CI (MathComp-Analysis dev meeting [2024-02-09])

proux01 commented 7 months ago

CI can be both a CI here and a the CI of Coq