summaryrefslogtreecommitdiff
path: root/static (unfollow)
Commit message (Collapse)AuthorFilesLines
2023-10-24a year went byHEADmainstuebinm3-42/+8
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-03-28server: add a howto linkstuebinm1-1/+1
2022-03-28server: show helpful information for resultstuebinm1-0/+5
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-20divoc: dark mode for svg exit graphstuebinm1-3/+49
2022-03-20divoc: server output should follow styleguidestuebinm3-2/+63
2022-03-19server: present lint results in pretty htmlstuebinm7-0/+2233
(this is mostly a rewrite / translation of the django templates built into rc3's hub)