aboutsummaryrefslogtreecommitdiff
path: root/util/ci (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Replace travis with github actions (#9641)Loïc Blot2020-04-206-0/+935
* Move outside of travis to Github actions This will permit to have better integrated CI workflow than the previous travis one.