summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
2023-06-09ci: update checkout action to v3Randy Palamar
2023-06-09ci: don't generate man/index.html symlinkRandy Palamar
this seems to be broken if the actor isn't the owner of the repository
2023-06-08ci: strip owner name regardless of actorRandy Palamar
2023-06-08ci: fetch mandoc.css from release tarballRandy Palamar
this is more stable than grabbing from the CVS web interface
2023-05-25ci: fix authentication by using GITHUB_TOKENRandy Palamar
2023-05-23ci: remove deprecated ubuntu-18.04 and switch to ubuntu-latestRandy Palamar
ubuntu-latest is supposed to track the newest supported ubuntu release which as of now is 22.04. 18.04 has been deprecated for a while and seems like it has finally been removed: https://github.blog/changelog/2022-08-09-github-actions-the-ubuntu-18-04-actions-runner-image-is-being-deprecated-and-will-be-removed-by-12-1-22/
2022-08-15Update used OSes for GitHub ActionsMatěj Cepl
* Switch off failing Windows tests * MacOS 10.15 is going away: https://github.blog/changelog/2022-07-20-github-actions-the-macos-10-15-actions-runner-image-is-being-deprecated-and-will-be-removed-by-8-30-22/
2021-04-20ci: verify coverity scan script before using itMarc André Tanner
2021-04-20ci: verify codecov script before using itMarc André Tanner
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