summaryrefslogtreecommitdiff
path: root/server (follow)
Commit message (Collapse)AuthorAgeFilesLines
* server: admin interfacestuebinm2022-02-114-64/+117
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-02-112-47/+124
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-02-103-8/+95
|
* server: simple toml configstuebinm2022-02-072-17/+39
|
* server: proper job handlingstuebinm2022-02-073-67/+110
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-02-074-88/+126
|
* basic server setup (using servant)stuebinm2022-02-013-0/+179
adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …