Loïc Blot 27a485a472 Replace travis with github actions (#9641) ... * Move outside of travis to Github actions This will permit to have better integrated CI workflow than the previous travis one.		2020-04-20 20:18:40 +02:00
..
ISSUE_TEMPLATE	Update Github templates (#8593)	2019-06-13 15:09:15 +01:00
workflows	Replace travis with github actions (#9641)	2020-04-20 20:18:40 +02:00
CONTRIBUTING.md	Update Github templates (#8593)	2019-06-13 15:09:15 +01:00
PULL_REQUEST_TEMPLATE.md	Update Github templates (#8593)	2019-06-13 15:09:15 +01:00
SECURITY.md	Update Github templates (#8593)	2019-06-13 15:09:15 +01:00