3 Commits

Author	SHA1	Message	Date
sfan5	2bdf4955c8	CI: fix build	2020-12-23 22:27:35 +01:00
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