Andreas Troelsen b76b0e6719 Add workflow_dispatch trigger to build workflow. ... This should allow us to just initiate a build if the artifact of the latest build expires.		2022-06-25 17:21:16 +02:00
..
ISSUE_TEMPLATE	Migrate to using multiple issue templates.	2018-06-16 17:13:40 +02:00
workflows	Add workflow_dispatch trigger to build workflow.	2022-06-25 17:21:16 +02:00
CONTRIBUTING.md	Add contributing guidelines.	2018-04-27 16:37:07 +02:00
PULL_REQUEST_TEMPLATE.md	Add documentation as a contribution type to PR template	2017-12-03 19:45:15 +01:00