walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2023-10-24	a year went by	stuebinm	1	-4/+2
	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	1	-4/+4

2022-10-11	use template haskell aeson, not generics	stuebinm	1	-4/+4
	this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
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-03-28	server: add a howto link	stuebinm	1	-2/+4

2022-03-28	server: show helpful information for result	stuebinm	1	-22/+49
	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-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