walint - A linter for workadventure maps

	Commit message (Expand)	Author	Files	Lines
8 days	universum's microlens exports are deprecated	stuebinm	1	-21/+23
2023-10-24	a year went by	stuebinm	1	-4/+2
2022-10-11	code formatter	stuebinm	1	-4/+4
2022-10-11	use template haskell aeson, not generics	stuebinm	1	-4/+4
2022-04-05	server: less boring output for very successful maps	stuebinm	1	-8/+16
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
2022-03-20	server: use fdp as dot layout mode	stuebinm	1	-17/+19
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
2022-03-19	server: fix an annoying space	stuebinm	1	-2/+1
2022-03-19	server: small html improvements	stuebinm	1	-3/+6
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
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
2022-03-19	sprinkle some NFData everywhere	stuebinm	1	-2/+1
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
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-11/+13
2022-03-19	server: switch to universum prelude, some cleanup	stuebinm	1	-26/+20
2022-03-19	server: admin interface	stuebinm	1	-23/+67
2022-03-19	server: present lint results in pretty html	stuebinm	1	-42/+118
2022-03-19	server: simple servant-lucid stuff	stuebinm	1	-0/+57