Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | tiled: relax requirement of objects' types | stuebinm | 8 days | 2 | -7/+7 |
| | |||||
* | universum's microlens exports are deprecated | stuebinm | 8 days | 5 | -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.5 | stuebinm | 8 days | 1 | -1/+1 |
| | |||||
* | a year went by | stuebinm | 2023-10-24 | 45 | -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 ci | stuebinm | 2022-10-11 | 1 | -9/+9 |
| | |||||
* | remove mentions of divoc | stuebinm | 2022-10-11 | 2 | -2/+2 |
| | |||||
* | update readme | stuebinm | 2022-10-11 | 1 | -38/+42 |
| | |||||
* | code formatter | stuebinm | 2022-10-11 | 12 | -26/+27 |
| | |||||
* | use template haskell aeson, not generics | stuebinm | 2022-10-11 | 12 | -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" | stuebinm | 2022-10-11 | 2 | -6/+2 |
| | | | | This reverts commit f116e6487f1041f12b9ea1e4e6a7aef18ff783bb. | ||||
* | new nix build things | stuebinm | 2022-10-11 | 5 | -53/+98 |
| | |||||
* | update stack resolver | stuebinm | 2022-10-11 | 12 | -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 correctly | stuebinm | 2022-04-14 | 1 | -1/+1 |
| | |||||
* | linter: link hackery for divoc fallback | stuebinm | 2022-04-14 | 2 | -2/+4 |
| | |||||
* | mapserver: symlink outdirs to human-readable paths | stuebinm | 2022-04-14 | 3 | -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 maps | stuebinm | 2022-04-08 | 2 | -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 if | stuebinm | 2022-04-07 | 1 | -1/+1 |
| | |||||
* | server: expose jitsi rooms in maps list endpoint | stuebinm | 2022-04-06 | 1 | -1/+2 |
| | |||||
* | linter: collect jitsi rooms of maps | stuebinm | 2022-04-06 | 4 | -32/+45 |
| | |||||
* | linter: whitespace confusing can be | stuebinm | 2022-04-05 | 1 | -1/+1 |
| | |||||
* | cwality-maps: also traverse generic aeson values | stuebinm | 2022-04-05 | 1 | -1/+6 |
| | | | | this works surprisingly well, actually | ||||
* | cwality-maps: change routes | stuebinm | 2022-04-05 | 1 | -7/+9 |
| | | | | otherwise workadventure & the deployment got confused | ||||
* | server: less boring output for very successful maps | stuebinm | 2022-04-05 | 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) | ||||
* | server: actually use git repository updates | stuebinm | 2022-04-04 | 1 | -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 warnings | stuebinm | 2022-04-04 | 4 | -6/+28 |
| | |||||
* | server: fix map paths in api | stuebinm | 2022-04-03 | 2 | -6/+9 |
| | |||||
* | add fixed-output derivation | stuebinm | 2022-04-01 | 1 | -0/+30 |
| | |||||
* | remove unused module | stuebinm | 2022-03-30 | 3 | -78/+1 |
| | |||||
* | server: add a howto link | stuebinm | 2022-03-28 | 4 | -3/+8 |
| | |||||
* | server: show helpful information for result | stuebinm | 2022-03-28 | 6 | -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 warning | stuebinm | 2022-03-23 | 1 | -1/+1 |
| | | | | i kept being confused by things happening that really shouldn't 🙈 | ||||
* | server: add a "panic i'm on a train"-offline mode | stuebinm | 2022-03-23 | 5 | -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 mode | stuebinm | 2022-03-20 | 1 | -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 graph | stuebinm | 2022-03-20 | 1 | -3/+49 |
| | |||||
* | divoc: server output should follow styleguide | stuebinm | 2022-03-20 | 3 | -2/+63 |
| | |||||
* | server: better html output | stuebinm | 2022-03-20 | 1 | -5/+7 |
| | |||||
* | server: keep (one) last good result per repo | stuebinm | 2022-03-20 | 4 | -41/+64 |
| | | | | | (i.e. we want to still have a valid version of the map if new results where introduced) | ||||
* | linter: some work on lints | stuebinm | 2022-03-19 | 1 | -34/+41 |
| | |||||
* | unbreak a very, very long rebase | stuebinm | 2022-03-19 | 6 | -19/+17 |
| | |||||
* | remove leftover rc3 things & some new stuff | stuebinm | 2022-03-19 | 9 | -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 scopes | stuebinm | 2022-03-19 | 2 | -23/+15 |
| | |||||
* | linter: remove bbb-simulating code | stuebinm | 2022-03-19 | 2 | -35/+5 |
| | |||||
* | walint: yet more strictness | stuebinm | 2022-03-19 | 1 | -2/+2 |
| | | | | (though this time it doesn't seem to do much, if anything) | ||||
* | server: fix an annoying space | stuebinm | 2022-03-19 | 1 | -2/+1 |
| | |||||
* | server: small html improvements | stuebinm | 2022-03-19 | 1 | -3/+6 |
| | | | | bootstrap is horrible and should be replaced | ||||
* | fix cwality-maps | stuebinm | 2022-03-19 | 1 | -2/+2 |
| | | | | whoops, forgot this earlier | ||||
* | make tiled even more strict | stuebinm | 2022-03-19 | 2 | -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) | stuebinm | 2022-03-19 | 7 | -63/+50 |
| | |||||
* | walint: some marginally nicer code | stuebinm | 2022-03-19 | 1 | -55/+47 |
| | |||||
* | server: decrease default lint interval | stuebinm | 2022-03-19 | 1 | -1/+1 |
| |