timo 1b5aa5c682 Use actions publishing for pages ... Instead of publishing from a dedicated branch github pages can now be deployed directly using actions. This commit introduces this.		2023-02-22 17:05:02 +01:00
..
ISSUE_TEMPLATE	chore: Added a template for test case tracking	2022-07-19 15:45:47 -04:00
workflows	Use actions publishing for pages	2023-02-22 17:05:02 +01:00
PULL_REQUEST_TEMPLATE.md	Update PULL_REQUEST_TEMPLATE.md	2021-03-29 12:07:55 -04:00
stale.yml	chore: add stale bot config	2021-07-04 11:56:50 -03:00