summaryrefslogtreecommitdiff
path: root/util/ci/lint.sh
Commit message (Expand)AuthorAge
* Replace travis with github actions (#9641)Loïc Blot2020-04-20