summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2020-11-20ci: avoid usage of ::add-path:: command in GitHub actionMarc André Tanner
2020-02-22ci: fix test coverage uploadMarc André Tanner
2020-02-20ci: add periodical coverity scan checkMarc André Tanner
2020-02-20ci: add Lua API documentation generationMarc André Tanner
2020-02-20ci: add Lua static code analysisMarc André Tanner
2020-02-20ci: add man page generationMarc André Tanner
2020-02-20ci: add windows buildsMarc André Tanner
2020-02-20ci: add macOS buildsMarc André Tanner
2020-02-20ci: add ubuntu buildsMarc André Tanner