index
:
walint
main
playground
structured-badges
A linter for workadventure maps
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
package.yaml
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
separate tiled modules out into own package
stuebinm
2022-02-28
1
-0
/
+10
*
remove unused dependencies
stuebinm
2022-02-18
1
-2
/
+0
*
switch to universum prelude
stuebinm
2022-02-18
1
-2
/
+3
*
sprinkle some NFData everywhere
stuebinm
2022-02-17
1
-1
/
+1
*
server: post map updates to exneuland's API
stuebinm
2022-02-16
1
-1
/
+3
*
server: remove cli-git, cli-extras
stuebinm
2022-02-16
1
-2
/
+1
*
internal state: sort according to org
stuebinm
2022-02-16
1
-2
/
+1
*
server: repositores & orgs fixed in config
stuebinm
2022-02-16
1
-1
/
+6
*
… several hours of fighting with TOML later
stuebinm
2022-02-16
1
-0
/
+1
*
server: switch to universum prelude, some cleanup
stuebinm
2022-02-15
1
-2
/
+5
*
server: added (somewhat) sensible logging
stuebinm
2022-02-12
1
-13
/
+10
*
server: present lint results in pretty html
stuebinm
2022-02-11
1
-0
/
+1
*
server: simple servant-lucid stuff
stuebinm
2022-02-10
1
-0
/
+3
*
server: simple toml config
stuebinm
2022-02-07
1
-0
/
+1
*
server: proper job handling
stuebinm
2022-02-07
1
-0
/
+2
*
non-blocking server
stuebinm
2022-02-07
1
-1
/
+2
*
basic server setup (using servant)
stuebinm
2022-02-01
1
-1
/
+21
*
use hpack and clean up modules
stuebinm
2022-01-15
1
-0
/
+52