2 Commits (470f32821627a56b682ea1947ab5a50ef57c1c10)

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