Nick Craig-Wood 8681ef36d6 build: replace Circle CI build and make GitHub actions the default CI

2019-09-25 16:38:10 +01:00

..

ISSUE_TEMPLATE

Revamp issue and PR templates and CONTRIBUTING guide

2018-09-21 18:17:32 +01:00

workflows

build: replace Circle CI build and make GitHub actions the default CI

2019-09-25 16:38:10 +01:00

ISSUE_TEMPLATE.md

build: fix up package paths after repo move

2019-07-28 18:47:38 +01:00

PULL_REQUEST_TEMPLATE.md

build: fix up package paths after repo move

2019-07-28 18:47:38 +01:00