summaryrefslogtreecommitdiff
path: root/server (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-02-15server: switch to universum prelude, some cleanupstuebinm4-138/+129
it's slightly less of a mess than it was before
2022-02-12server: added (somewhat) sensible loggingstuebinm2-27/+42
it's not very sensible, but at least it exists
2022-02-11server: more debug outputstuebinm1-1/+1
2022-02-11server: admin interfacestuebinm4-64/+117
(for now, just a list of all maps and their current status)
2022-02-11server: present lint results in pretty htmlstuebinm2-47/+124
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-02-10server: simple servant-lucid stuffstuebinm3-8/+95
2022-02-07server: simple toml configstuebinm2-17/+39
2022-02-07server: proper job handlingstuebinm3-67/+110
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-02-07non-blocking serverstuebinm4-88/+126
2022-02-01basic server setup (using servant)stuebinm3-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 …