Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-03-06 | server: websocket for updates & auto-reload | stuebinm | 1 | -50/+61 | |
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY. | |||||
2022-03-06 | server: add a very simple relint button | stuebinm | 1 | -7/+12 | |
2022-02-25 | server: write out adjusted maps | stuebinm | 1 | -4/+12 | |
2022-02-18 | switch to universum prelude | stuebinm | 1 | -1/+4 | |
also don't keep adjusted maps around if not necessary | |||||
2022-02-17 | sprinkle some NFData everywhere | stuebinm | 1 | -5/+12 | |
(also some evaluateNF, leading to slightly less memory usage) | |||||
2022-02-17 | server: remove a thunk leak | stuebinm | 1 | -4/+17 | |
(really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained) | |||||
2022-02-16 | server: exneuland wants a token, apparently | stuebinm | 1 | -6/+9 | |
2022-02-16 | server: post map updates to exneuland's API | stuebinm | 1 | -8/+21 | |
2022-02-16 | server: add mapservice GET endpoint | stuebinm | 1 | -5/+11 | |
2022-02-16 | internal state: sort according to org | stuebinm | 1 | -14/+50 | |
(also, more lenses i guess) | |||||
2022-02-16 | server: repositores & orgs fixed in config | stuebinm | 1 | -59/+58 | |
a very simple setup that might be usable for divoc and similar small events | |||||
2022-02-16 | … several hours of fighting with TOML later | stuebinm | 1 | -30/+52 | |
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?) | |||||
2022-02-15 | server: switch to universum prelude, some cleanup | stuebinm | 1 | -18/+22 | |
it's slightly less of a mess than it was before | |||||
2022-02-11 | server: admin interface | stuebinm | 1 | -34/+30 | |
(for now, just a list of all maps and their current status) | |||||
2022-02-11 | server: present lint results in pretty html | stuebinm | 1 | -5/+6 | |
(this is mostly a rewrite / translation of the django templates built into rc3's hub) | |||||
2022-02-10 | server: simple servant-lucid stuff | stuebinm | 1 | -1/+20 | |
2022-02-07 | server: simple toml config | stuebinm | 1 | -14/+37 | |
2022-02-07 | server: proper job handling | stuebinm | 1 | -5/+22 | |
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | |||||
2022-02-07 | non-blocking server | stuebinm | 1 | -4/+20 | |
2022-02-01 | basic server setup (using servant) | stuebinm | 1 | -0/+45 | |
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 … |