Florian d09f13bf86 [CI] Add build as a prerequisite of the documentation (#1457) ...

So as to avoid empty upload page

2023-02-13 16:39:48 -06:00

..

ISSUE_TEMPLATE

replace travis with GitHub Actions close #626 (#629)

2020-06-12 18:44:34 -05:00

workflows

[CI] Add build as a prerequisite of the documentation (#1457)

2023-02-13 16:39:48 -06:00

pull_request_template.md

Move PR template folder

2021-06-28 16:31:29 -05:00

stale.yml

change stale location

2019-08-06 21:05:09 +02:00