summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2020-11-03Test Java 8 and Java 15 in CI pipelineFabian Mastenbroek
2020-11-03Run all CI build pipelines on pull requestFabian Mastenbroek
2020-10-28Add workflow for deploying to opendc.orgFabian Mastenbroek
2020-08-24Fix conditional Github Actions triggerFabian Mastenbroek
2020-08-24Rename web-server to APIFabian Mastenbroek
2020-08-24Run CI only if necessaryFabian Mastenbroek
2020-08-24Simplify workflowsFabian Mastenbroek
2020-08-24Add config for simulator CIFabian Mastenbroek
2020-08-24Add frontend CIGeorgios Andreadis
2020-08-24Try different scriptGeorgios Andreadis
2020-08-24Add a web server CI setupGeorgios Andreadis
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 13:57:08 +0000