Alexandre Franke 89b0ad8051 Port CI to Github Actions (#3363) ... This is intended to replace the existing Buildkite one, but the latter can be removed at a later point when all the bits are in place.		2021-09-02 16:48:04 +01:00
..
ISSUE_TEMPLATE	Update idea.md	2021-08-27 19:16:43 +01:00
PULL_REQUEST_TEMPLATE	Add some github stuff (PR templates, funding)	2019-12-07 15:57:24 -07:00
workflows	Port CI to Github Actions (#3363)	2021-09-02 16:48:04 +01:00
FUNDING.yml	Add some github stuff (PR templates, funding)	2019-12-07 15:57:24 -07:00