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