publishing (pre-)releases

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

publishing (pre-)releases #33

Open hoheinzollern opened 5 months ago

hoheinzollern commented 5 months ago

This is more like a wish, for you to publish binary releases for Linux that can be used in GitHub workflows. Having a pre-release versions published would allow to test and produce valid workflow documentation