| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-08-24 | Rename web-server to API | Fabian Mastenbroek |
| 2020-08-24 | Run CI only if necessary | Fabian Mastenbroek |
| 2020-08-24 | Simplify workflows | Fabian Mastenbroek |
| 2020-08-24 | Try different script | Georgios Andreadis |
| 2020-08-24 | Add a web server CI setup | Georgios Andreadis |
 |
index : opendc.git | |
| The OpenDC repository. | Mateusz |
| summaryrefslogtreecommitdiff |