summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)AuthorFilesLines
2024-03-29ci: Bump to latest ubuntu runner.Lars-Dominik Braun1-1/+1
2022-02-12workflows: Always `apt update` before installing dependenciesLars-Dominik Braun1-3/+5
As suggested by the official documentation.
2020-08-09Add GitHub Actions-based CILars-Dominik Braun1-0/+20
We don’t really need it, but why not…
2018-06-26Add GitHub issue templateLars-Dominik Braun1-0/+19