summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
2020-08-24Run CI only if necessaryFabian Mastenbroek
This pull request selectively enables the build workflows for the three subproject based on the changed files in the commit.
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