summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* server: decrease default lint intervalstuebinm2022-03-191-1/+1
|
* server: don't hardcode the websocket domain/protocolstuebinm2022-03-191-1/+2
|
* update haskell.nix hashstuebinm2022-03-191-2/+2
|
* server: websocket for updates & auto-reloadstuebinm2022-03-199-84/+158
| | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
* server: add a very simple relint buttonstuebinm2022-03-195-40/+79
|
* update readmestuebinm2022-03-191-27/+22
| | | | | this isn't comprehensive or anything, but at least acknowledges that this repo now contains more than just the linter
* mapserver: somewhat more decent loggingstuebinm2022-03-194-27/+32
|
* cwality-maps: better loggingstuebinm2022-03-193-5/+13
|
* cwality-maps: remove unused parametersstuebinm2022-03-191-5/+2
| | | | | the substitutions + templating seems reasonably powerfull, let's see how far we get without custom-made specific things.
* cwality-maps: add mustache templatingstuebinm2022-03-196-62/+120
| | | | | not going to be my faviourite templating language, but it seems to work pretty well for this.
* little server for making cwality maps (which meow, for now)stuebinm2022-03-195-3/+296
|
* separate tiled modules out into own packagestuebinm2022-03-1910-17/+46
|
* server: write out adjusted mapsstuebinm2022-03-196-27/+69
|
* remove unused dependenciesstuebinm2022-03-192-6/+0
|
* switch to universum preludestuebinm2022-03-1924-303/+287
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-03-1911-39/+62
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: remove a thunk leakstuebinm2022-03-194-22/+34
| | | | | (really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
* update nix build systemstuebinm2022-03-192-4/+4
|
* server: exneuland wants a token, apparentlystuebinm2022-03-193-19/+17
|
* server: post map updates to exneuland's APIstuebinm2022-03-195-20/+71
|
* server: remove cli-git, cli-extrasstuebinm2022-03-194-42/+58
| | | | | | | | both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure!
* server: add mapservice GET endpointstuebinm2022-03-196-57/+75
|
* internal state: sort according to orgstuebinm2022-03-197-45/+84
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-03-198-199/+245
| | | | a very simple setup that might be usable for divoc and similar small events
* … several hours of fighting with TOML laterstuebinm2022-03-196-71/+115
| | | | | | WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
* server: switch to universum prelude, some cleanupstuebinm2022-03-1910-146/+1186
| | | | it's slightly less of a mess than it was before
* add haskell.nix build systemstuebinm2022-03-195-4/+57
| | | | | | it's an annoying blockchain company, but apparently that thing is the only usable option to build stack things with nix without having to redefine all the (outdated) haskell packages in nixpkgs?
* don't fail compilation if git is unavailablestuebinm2022-03-191-1/+3
| | | | (instead, `walint --version` will now just say "unknown")
* server: added (somewhat) sensible loggingstuebinm2022-03-194-66/+75
| | | | it's not very sensible, but at least it exists
* server: more debug outputstuebinm2022-03-191-1/+1
|
* server: admin interfacestuebinm2022-03-195-65/+118
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-03-1911-47/+2359
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-03-198-12/+111
|
* server: simple toml configstuebinm2022-03-195-17/+49
|
* server: proper job handlingstuebinm2022-03-195-67/+114
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-03-196-94/+134
|
* basic server setup (using servant)stuebinm2022-03-197-3/+274
| | | | | | | adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …
* use hpack and clean up modulesstuebinm2022-03-1913-148/+219
| | | | as annoying as yaml is, cabal's package format is somehow worse, apparently
* playing around with typesstuebinm2022-03-194-1/+40
|
* use url package for parsing of urlsjonny2022-03-193-13/+32
|
* fixed url injection by means of starting an url with "." and turning the ↵jonathan2022-03-191-1/+8
| | | | prefix into a subdomain
* add dot language output for repository map graphsstuebinm2021-12-304-27/+60
|
* apparently people are using inter-assembly links internally??stuebinm2021-12-291-2/+15
| | | | lol
* Merge branch 'pipeline-caching' into 'main'stuebinm2021-12-291-5/+6
|\ | | | | | | | | Pipeline caching See merge request hub/walint!9
| * Pipeline cachingstuebinm2021-12-291-5/+6
|/
* collides isn't unknown on tilesstuebinm2021-12-291-1/+2
|
* maps, maps, and yet more mapsstuebinm2021-12-296-21/+50
| | | | | | | don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later)
* pipeline's not lazy enoughstuebinm2021-12-291-4/+4
| | | | (thanks to jonathan for showing me that this exists)
* pipeline's not lazy enoughstuebinm2021-12-291-0/+4
| | | | (thanks to jonathan for showing me that this exists)
* the lobby lacks reflexivitystuebinm2021-12-291-1/+2
|