2 Commits (70df3d54f37c280f7afe60f6e964b8406577f39f)

Author	SHA1	Message	Date
sfan5	61d93988d8	ci: Update Github Actions workflows (#9774)	2020-05-02 12:52:51 +02:00
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