Petr Mrázek 6531aaa7bc Try using github actions ...

Let's see how badly this goes

2019-09-19 10:56:11 +02:00

..

workflows

Try using github actions

2019-09-19 10:56:11 +02:00

ISSUE_TEMPLATE.md

NOISSUE get rid of remaining tabs

2018-08-02 01:01:55 +02:00