summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* universum's microlens exports are deprecatedstuebinm2024-10-295-34/+39
| | | | | unfortunately, there seems to be no better way than hiding them manually, so this code will still break once they remove them.
* bump stackage version for ghc 9.6.5stuebinm2024-10-291-1/+1
|
* a year went bystuebinm2023-10-2445-1856/+305
| | | | | | | | | | | | | This does many meta-things, but changes no functionality: - get rid of stack, and use just cabal with a stackage snapshot instead (why did I ever think stack was a good idea?) - update the stackage snapshot to something halfway recent - thus making builds work on nixpkgs-23.05 (current stable) - separating out packages into their own cabal files - use the GHC2021 set of extensions as default - very slight code changes to make things build again - update readme accordingly - stylish-haskell run
* update gitlab cistuebinm2022-10-111-9/+9
|
* remove mentions of divocstuebinm2022-10-112-2/+2
|
* update readmestuebinm2022-10-111-38/+42
|
* code formatterstuebinm2022-10-1112-26/+27
|
* use template haskell aeson, not genericsstuebinm2022-10-1112-69/+45
| | | | this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
* Revert "linter: link hackery for divoc fallback"stuebinm2022-10-112-6/+2
| | | | This reverts commit f116e6487f1041f12b9ea1e4e6a7aef18ff783bb.
* new nix build thingsstuebinm2022-10-115-53/+98
|
* update stack resolverstuebinm2022-10-1112-491/+37
| | | | | (also got rid of the map templater, which had version problems with mustache — it's not likely anyone will need it anyways)
* if hacking things, please do the hackery correctlystuebinm2022-04-141-1/+1
|
* linter: link hackery for divoc fallbackstuebinm2022-04-142-2/+4
|
* mapserver: symlink outdirs to human-readable pathsstuebinm2022-04-143-2/+11
| | | | | (meant for use of this server without exneuland / the whole map resolution api on a dump simple workadventure backend)
* linter: don't fail on missing mapsstuebinm2022-04-082-5/+7
| | | | | turns out eitherDecodeFile' doesn't have the semantics I thought it did (who writes functions returning either that can still fail??)
* linter: unless ain't the same as ifstuebinm2022-04-071-1/+1
|
* server: expose jitsi rooms in maps list endpointstuebinm2022-04-061-1/+2
|
* linter: collect jitsi rooms of mapsstuebinm2022-04-064-32/+45
|
* linter: whitespace confusing can bestuebinm2022-04-051-1/+1
|
* cwality-maps: also traverse generic aeson valuesstuebinm2022-04-051-1/+6
| | | | this works surprisingly well, actually
* cwality-maps: change routesstuebinm2022-04-051-7/+9
| | | | otherwise workadventure & the deployment got confused
* server: less boring output for very successful mapsstuebinm2022-04-051-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)
* server: actually use git repository updatesstuebinm2022-04-041-1/+1
| | | | | | before this, the server would fetch updates but then not update the corresponding reference, leading to the initial state being checked out and linted again.
* linter: collect content warningsstuebinm2022-04-044-6/+28
|
* server: fix map paths in apistuebinm2022-04-032-6/+9
|
* add fixed-output derivationstuebinm2022-04-011-0/+30
|
* remove unused modulestuebinm2022-03-303-78/+1
|
* server: add a howto linkstuebinm2022-03-284-3/+8
|
* server: show helpful information for resultstuebinm2022-03-286-43/+81
| | | | | | 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.
* lower default maximum lint level to warningstuebinm2022-03-231-1/+1
| | | | i kept being confused by things happening that really shouldn't 🙈
* server: add a "panic i'm on a train"-offline modestuebinm2022-03-235-32/+58
| | | | | | (this also adds general cli arguments, but the main point is that downloading monstrously large repositories is a silly idea when i'm on a train with surprisingly bad wifi)
* server: use fdp as dot layout modestuebinm2022-03-201-17/+19
| | | | | (though apparently there's no way to set the -LC option? would look much nicer with that …)
* divoc: dark mode for svg exit graphstuebinm2022-03-201-3/+49
|
* divoc: server output should follow styleguidestuebinm2022-03-203-2/+63
|
* server: better html outputstuebinm2022-03-201-5/+7
|
* server: keep (one) last good result per repostuebinm2022-03-204-41/+64
| | | | | (i.e. we want to still have a valid version of the map if new results where introduced)
* linter: some work on lintsstuebinm2022-03-191-34/+41
|
* unbreak a very, very long rebasestuebinm2022-03-196-19/+17
|
* remove leftover rc3 things & some new stuffstuebinm2022-03-199-183/+222
| | | | | | | | | | | | | this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking!
* linter: allow unrestricted domain scopesstuebinm2022-03-192-23/+15
|
* linter: remove bbb-simulating codestuebinm2022-03-192-35/+5
|
* walint: yet more strictnessstuebinm2022-03-191-2/+2
| | | | (though this time it doesn't seem to do much, if anything)
* server: fix an annoying spacestuebinm2022-03-191-2/+1
|
* server: small html improvementsstuebinm2022-03-191-3/+6
| | | | bootstrap is horrible and should be replaced
* fix cwality-mapsstuebinm2022-03-191-2/+2
| | | | whoops, forgot this earlier
* make tiled even more strictstuebinm2022-03-192-11/+11
| | | | | | turns out aeson really REALLY likes to keep huge scientific numbers around, which is great if your data structures consist largely of arrays of (small) integers!
* make tiled stricter (and organise some imports)stuebinm2022-03-197-63/+50
|
* walint: some marginally nicer codestuebinm2022-03-191-55/+47
|
* server: decrease default lint intervalstuebinm2022-03-191-1/+1
|
* server: don't hardcode the websocket domain/protocolstuebinm2022-03-191-1/+2
|