walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	server: better html output	stuebinm	2022-03-20	1	-5/+7
\|
*	server: keep (one) last good result per repo	stuebinm	2022-03-20	1	-1/+1
\| \| \| \| \|	(i.e. we want to still have a valid version of the map if new results where introduced)
*	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
*	server: don't hardcode the websocket domain/protocol	stuebinm	2022-03-19	1	-1/+2
\|
*	server: websocket for updates & auto-reload	stuebinm	2022-03-19	1	-14/+29
\| \| \| \|	todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
*	server: add a very simple relint button	stuebinm	2022-03-19	1	-2/+16
\|
*	switch to universum prelude	stuebinm	2022-03-19	1	-1/+1
\| \| \| \|	also don't keep adjusted maps around if not necessary
*	sprinkle some NFData everywhere	stuebinm	2022-03-19	1	-2/+1
\| \| \| \|	(also some evaluateNF, leading to slightly less memory usage)
*	server: add mapservice GET endpoint	stuebinm	2022-03-19	1	-4/+4
\|
*	internal state: sort according to org	stuebinm	2022-03-19	1	-12/+13
\| \| \| \|	(also, more lenses i guess)
*	server: repositores & orgs fixed in config	stuebinm	2022-03-19	1	-11/+13
\| \| \| \|	a very simple setup that might be usable for divoc and similar small events
*	server: switch to universum prelude, some cleanup	stuebinm	2022-03-19	1	-26/+20
\| \| \| \|	it's slightly less of a mess than it was before
*	server: admin interface	stuebinm	2022-03-19	1	-0/+177
	(for now, just a list of all maps and their current status)