peelz 53ea2b8973 Simplify github workflow for docs generation ...

This also fixes not being able to generate docs from other branches.

2022-08-10 05:36:16 -04:00

..

ISSUE_TEMPLATE

Update bug_report.yml

2022-07-18 10:29:57 +03:00

workflows

Simplify github workflow for docs generation

2022-08-10 05:36:16 -04:00