| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | server: add a very simple relint button | stuebinm | 2022-03-06 | 5 | -40/+79 |
| | | |||||
| * | mapserver: somewhat more decent logging | stuebinm | 2022-03-03 | 2 | -27/+30 |
| | | |||||
| * | server: write out adjusted maps | stuebinm | 2022-02-25 | 4 | -23/+52 |
| | | |||||
| * | switch to universum prelude | stuebinm | 2022-02-18 | 3 | -4/+8 |
| | | | | | also don't keep adjusted maps around if not necessary | ||||
| * | sprinkle some NFData everywhere | stuebinm | 2022-02-17 | 3 | -7/+14 |
| | | | | | (also some evaluateNF, leading to slightly less memory usage) | ||||
| * | server: remove a thunk leak | stuebinm | 2022-02-17 | 3 | -21/+33 |
| | | | | | | (really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained) | ||||
| * | server: exneuland wants a token, apparently | stuebinm | 2022-02-16 | 2 | -19/+16 |
| | | |||||
| * | server: post map updates to exneuland's API | stuebinm | 2022-02-16 | 2 | -19/+65 |
| | | |||||
| * | server: remove cli-git, cli-extras | stuebinm | 2022-02-16 | 2 | -38/+56 |
| | | | | | | | | | both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure! | ||||
| * | server: add mapservice GET endpoint | stuebinm | 2022-02-16 | 5 | -57/+71 |
| | | |||||
| * | internal state: sort according to org | stuebinm | 2022-02-16 | 5 | -41/+82 |
| | | | | | (also, more lenses i guess) | ||||
| * | server: repositores & orgs fixed in config | stuebinm | 2022-02-16 | 5 | -198/+231 |
| | | | | | a very simple setup that might be usable for divoc and similar small events | ||||
| * | … several hours of fighting with TOML later | stuebinm | 2022-02-16 | 3 | -70/+101 |
| | | | | | | | WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?) | ||||
| * | server: switch to universum prelude, some cleanup | stuebinm | 2022-02-15 | 4 | -138/+129 |
| | | | | | it's slightly less of a mess than it was before | ||||
| * | server: added (somewhat) sensible logging | stuebinm | 2022-02-12 | 2 | -27/+42 |
| | | | | | it's not very sensible, but at least it exists | ||||
| * | server: more debug output | stuebinm | 2022-02-11 | 1 | -1/+1 |
| | | |||||
| * | server: admin interface | stuebinm | 2022-02-11 | 4 | -64/+117 |
| | | | | | (for now, just a list of all maps and their current status) | ||||
| * | server: present lint results in pretty html | stuebinm | 2022-02-11 | 2 | -47/+124 |
| | | | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub) | ||||
| * | server: simple servant-lucid stuff | stuebinm | 2022-02-10 | 3 | -8/+95 |
| | | |||||
| * | server: simple toml config | stuebinm | 2022-02-07 | 2 | -17/+39 |
| | | |||||
| * | server: proper job handling | stuebinm | 2022-02-07 | 3 | -67/+110 |
| | | | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | ||||
| * | non-blocking server | stuebinm | 2022-02-07 | 4 | -88/+126 |
| | | |||||
| * | basic server setup (using servant) | stuebinm | 2022-02-01 | 3 | -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 … | |||||
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |