summaryrefslogtreecommitdiffhomepage
path: root/.github
AgeCommit message (Expand)Author
2024-01-12ci: no longer require real nameone-d-wide
2023-04-01CI: update remaining outdated dependenciesTianling Shen
2023-03-29CI: update dependenciesTianling Shen
2022-01-13Merge pull request #5567 from TDT-AG/pr/20211202-github-issue-templatesFlorian Eckert
2022-01-10github: add issue templates fileFlorian Eckert
2021-11-16CI: only run GitHub pages on the official repositoryGiovanni Giacobbi
2021-10-09CI: add formal testsPaul Spooren
2021-10-09CI: test build LuCI packagesPaul Spooren
2021-10-08CI: enable jekyll for docs for overview READMEPaul Spooren
2021-10-08CI: use GITHUB_TOKEN for page deploymentPaul Spooren
2021-10-08CI: automatically update jsapi docsPaul Spooren