walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
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