aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)AuthorFilesLines
2025-11-28docs: remove $ from environment variable nameunrealapex1-1/+1
remove $ from environment variable name because environment variables are referenced by name without it
2025-05-17ci: drop ubuntu-20.04, deprecatedsewn1-4/+1
Github CI ubuntu-20.04 runner image deprecated, seen in https://github.com/actions/runner-images/issues/11101
2025-02-22ci: also don't fail when the coverage file doesn't download correctlyRandy Palamar2-6/+6
2025-02-22ci: don't let test coverage upload fail a workflowRandy Palamar2-2/+2
Yes it would be better if some commits didn't have missing coverage but failing over it doesn't give us any useful info about the commit
2025-01-02ci: remove lua-bustedRandy Palamar2-3/+0
2024-09-09ci: install busted to run lua testsFlorian Fischer2-0/+2
2024-04-21ci: fix macOS runnerRandy Palamar1-7/+4
Apparently Github changed the permissions on /usr/local in the default image so now we need to use `sudo` for luarocks to be able to install packages. While I'm here: update the checkout dependency and use macOS-latest image instead of multiple old images.
2024-01-23fix bug report templateRandy Palamar1-1/+1
Apparently `labels:` should be an empty list and not an empty string if you want no default labels; my bad.
2024-01-23add github issue templatesSneethe3-0/+57
2023-08-16build: support incremental rebuildsRandy Palamar3-0/+3
2023-06-09ci: update checkout action to v3Randy Palamar6-6/+6
2023-06-09ci: don't generate man/index.html symlinkRandy Palamar1-1/+1
this seems to be broken if the actor isn't the owner of the repository
2023-06-08ci: strip owner name regardless of actorRandy Palamar1-1/+1
2023-06-08ci: fetch mandoc.css from release tarballRandy Palamar1-1/+1
this is more stable than grabbing from the CVS web interface
2023-05-25ci: fix authentication by using GITHUB_TOKENRandy Palamar2-2/+2
2023-05-23ci: remove deprecated ubuntu-18.04 and switch to ubuntu-latestRandy Palamar1-8/+2
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 Cepl3-2/+6
* 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é 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