diff options
| author | stuebinm | 2022-03-06 13:58:42 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-06 13:58:42 +0100 |
| commit | e495931e6126896b09a5e95db8ba6f56fda42808 (patch) | |
| tree | bb4ce4bb076f894ebef193c143f200c396cfb3d9 /.gitlab-ci.yml | |
| parent | ad7343815cc89d34c68f7d38239882bd3d36a577 (diff) | |
server: websocket for updates & auto-reload
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions