summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2021-03-20ci: Add reports and coverage tracking for APIFabian Mastenbroek
2021-03-20ci: Generate test reports for CI buildsFabian Mastenbroek
2021-03-20ci: Add Codecov support to repositoryFabian Mastenbroek
2021-03-20ci: Enable stricter CI triggersFabian Mastenbroek
2021-03-15ci: Update deployment workflowFabian Mastenbroek
2021-03-02Add a simple PR template (#78)Hongyu
2020-11-03Test frontend using Node 14 in Github ActionsFabian Mastenbroek
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