TonCherAmi ceee9d672a [CI] Port CI to github actions. (#1374) ... * [CI] Port CI to github actions. * [Doc] Fix doxygen comment block.		2021-08-20 14:54:34 +02:00
..
actions	[CI] Port CI to github actions. (#1374)	2021-08-20 14:54:34 +02:00
ISSUE_TEMPLATE	Simple maintenance improvements (#1370)	2021-08-14 13:03:16 +02:00
workflows	[CI] Port CI to github actions. (#1374)	2021-08-20 14:54:34 +02:00
CONTRIBUTING.md	[Doc] Add github discussions in more places	2021-08-19 12:32:18 +02:00
pull_request_template.md	Add Issue and PR Templates (#1043)	2019-12-14 14:03:09 +01:00