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