summaryrefslogtreecommitdiff
path: root/util/ci/lint.sh
Commit message (Collapse)AuthorAge
* Replace travis with github actions (#9641)Loïc Blot2020-04-20
* Move outside of travis to Github actions This will permit to have better integrated CI workflow than the previous travis one.