aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)AuthorFilesLines
2023-05-23ci: remove deprecated ubuntu-18.04 and switch to ubuntu-latestRandy Palamar1-8/+2
2022-08-15Update used OSes for GitHub ActionsMatěj Cepl3-2/+6
2021-04-20ci: verify coverity scan script before using itMarc André Tanner1-2/+7
2021-04-20ci: verify codecov script before using itMarc André Tanner3-3/+22
2020-11-20ci: avoid usage of ::add-path:: command in GitHub actionMarc André Tanner1-1/+4
2020-02-22ci: fix test coverage uploadMarc André Tanner3-0/+6
2020-02-20ci: add periodical coverity scan checkMarc André Tanner1-0/+53
2020-02-20ci: add Lua API documentation generationMarc André Tanner1-0/+39
2020-02-20ci: add Lua static code analysisMarc André Tanner1-0/+20
2020-02-20ci: add man page generationMarc André Tanner1-0/+38
2020-02-20ci: add windows buildsMarc André Tanner1-0/+52
2020-02-20ci: add macOS buildsMarc André Tanner1-0/+50
2020-02-20ci: add ubuntu buildsMarc André Tanner1-0/+56