Add documentation for automatic build with GitHub actions

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

Open hoheinzollern opened 5 months ago

hoheinzollern commented 5 months ago

I'm testing this on my repository, I'll be happy to report my experience