executablebooks / sphinx-proof

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
https://sphinx-proof.readthedocs.io/en/latest/
MIT License
32 stars 17 forks source link

FIX: enable publish trigger #117

Closed mmcky closed 1 month ago

mmcky commented 1 month ago

This enables triggering based on v* tags to build releases