| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-10-11 | use template haskell aeson, not generics | stuebinm | 1 | -4/+4 | |
| this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings | |||||
| 2022-04-05 | server: less boring output for very successful maps | stuebinm | 1 | -8/+16 | |
| (actually i feel like there should be an easteregg or sth for maps that really pass everything, but i can't think of something fitting) | |||||
| 2022-03-28 | server: add a howto link | stuebinm | 1 | -2/+4 | |
| 2022-03-28 | server: show helpful information for result | stuebinm | 1 | -22/+49 | |
| This includes the backlink to the lobby (auto-generated only for now) and a "help!"-button for sending mails. Also general info regarding which commit was linted / published. | |||||
| 2022-03-20 | server: use fdp as dot layout mode | stuebinm | 1 | -17/+19 | |
| (though apparently there's no way to set the -LC option? would look much nicer with that …) | |||||
| 2022-03-20 | server: better html output | stuebinm | 1 | -5/+7 | |
| 2022-03-20 | server: keep (one) last good result per repo | stuebinm | 1 | -1/+1 | |
| (i.e. we want to still have a valid version of the map if new results where introduced) | |||||
| 2022-03-19 | server: fix an annoying space | stuebinm | 1 | -2/+1 | |
| 2022-03-19 | server: small html improvements | stuebinm | 1 | -3/+6 | |
| bootstrap is horrible and should be replaced | |||||
| 2022-03-19 | server: don't hardcode the websocket domain/protocol | stuebinm | 1 | -1/+2 | |
| 2022-03-19 | server: websocket for updates & auto-reload | stuebinm | 1 | -14/+29 | |
| todo: find a better solution than writing javascript in haskell strings. SERIOUSLY. | |||||
| 2022-03-19 | server: add a very simple relint button | stuebinm | 1 | -2/+16 | |
| 2022-03-19 | switch to universum prelude | stuebinm | 1 | -1/+1 | |
| also don't keep adjusted maps around if not necessary | |||||
| 2022-03-19 | sprinkle some NFData everywhere | stuebinm | 1 | -2/+1 | |
| (also some evaluateNF, leading to slightly less memory usage) | |||||
| 2022-03-19 | server: add mapservice GET endpoint | stuebinm | 1 | -4/+4 | |
| 2022-03-19 | internal state: sort according to org | stuebinm | 1 | -12/+13 | |
| (also, more lenses i guess) | |||||
| 2022-03-19 | server: repositores & orgs fixed in config | stuebinm | 1 | -11/+13 | |
| a very simple setup that might be usable for divoc and similar small events | |||||
| 2022-03-19 | server: switch to universum prelude, some cleanup | stuebinm | 1 | -26/+20 | |
| it's slightly less of a mess than it was before | |||||
| 2022-03-19 | server: admin interface | stuebinm | 1 | -23/+67 | |
| (for now, just a list of all maps and their current status) | |||||
| 2022-03-19 | server: present lint results in pretty html | stuebinm | 1 | -42/+118 | |
| (this is mostly a rewrite / translation of the django templates built into rc3's hub) | |||||
| 2022-03-19 | server: simple servant-lucid stuff | stuebinm | 1 | -0/+57 | |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |