walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2023-10-24	a year went by	stuebinm	7	-44/+102
	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
2022-10-11	code formatter	stuebinm	3	-7/+7

2022-10-11	use template haskell aeson, not generics	stuebinm	3	-9/+8
	this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
2022-04-14	mapserver: symlink outdirs to human-readable paths	stuebinm	2	-2/+9
	(meant for use of this server without exneuland / the whole map resolution api on a dump simple workadventure backend)
2022-04-06	server: expose jitsi rooms in maps list endpoint	stuebinm	1	-1/+2

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-04-04	server: actually use git repository updates	stuebinm	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.
2022-04-03	server: fix map paths in api	stuebinm	2	-6/+9

2022-03-28	server: add a howto link	stuebinm	2	-2/+6

2022-03-28	server: show helpful information for result	stuebinm	4	-43/+73
	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-23	server: add a "panic i'm on a train"-offline mode	stuebinm	3	-32/+56
	(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)
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	4	-41/+64
	(i.e. we want to still have a valid version of the map if new results where introduced)
2022-03-19	remove leftover rc3 things & some new stuff	stuebinm	2	-19/+25
	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!
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	5	-84/+146
	todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
2022-03-19	server: add a very simple relint button	stuebinm	5	-40/+79

2022-03-19	mapserver: somewhat more decent logging	stuebinm	2	-27/+30

2022-03-19	server: write out adjusted maps	stuebinm	4	-23/+52

2022-03-19	switch to universum prelude	stuebinm	3	-4/+8
	also don't keep adjusted maps around if not necessary
2022-03-19	sprinkle some NFData everywhere	stuebinm	3	-7/+14
	(also some evaluateNF, leading to slightly less memory usage)
2022-03-19	server: remove a thunk leak	stuebinm	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)
2022-03-19	server: exneuland wants a token, apparently	stuebinm	2	-19/+16

2022-03-19	server: post map updates to exneuland's API	stuebinm	2	-19/+65

2022-03-19	server: remove cli-git, cli-extras	stuebinm	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!
2022-03-19	server: add mapservice GET endpoint	stuebinm	5	-57/+71

2022-03-19	internal state: sort according to org	stuebinm	5	-41/+82
	(also, more lenses i guess)
2022-03-19	server: repositores & orgs fixed in config	stuebinm	5	-198/+231
	a very simple setup that might be usable for divoc and similar small events
2022-03-19	… several hours of fighting with TOML later	stuebinm	3	-70/+101
	WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
2022-03-19	server: switch to universum prelude, some cleanup	stuebinm	4	-138/+129
	it's slightly less of a mess than it was before
2022-03-19	server: added (somewhat) sensible logging	stuebinm	2	-27/+42
	it's not very sensible, but at least it exists
2022-03-19	server: more debug output	stuebinm	1	-1/+1

2022-03-19	server: admin interface	stuebinm	4	-64/+117
	(for now, just a list of all maps and their current status)
2022-03-19	server: present lint results in pretty html	stuebinm	2	-47/+124
	(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-03-19	server: simple servant-lucid stuff	stuebinm	3	-8/+95

2022-03-19	server: simple toml config	stuebinm	2	-17/+39

2022-03-19	server: proper job handling	stuebinm	3	-67/+110
	Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-03-19	non-blocking server	stuebinm	4	-88/+126

2022-03-19	basic server setup (using servant)	stuebinm	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 …