paul
0 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
paul pushed to main at paul/infrastructure 2023-01-27 01:35:52 +01:00
60a455486c Add ansible playbook check step to CI
paul pushed to main at paul/glebby 2023-01-21 22:49:51 +01:00
772f7d5a9c Rearrange model code
paul pushed to main at paul/glebby 2023-01-20 04:54:50 +01:00
2761172a7c Use fancy new match syntax
paul pushed to main at paul/glebby 2023-01-20 04:28:14 +01:00
1c1ca14fe7 Add types
9986fb5faa Seperate connection management into its own module
Compare 2 commits »
paul pushed to main at paul/infrastructure 2023-01-19 18:33:52 +01:00
b4f6538ffe Add Gitea up check before deploying configs
paul pushed to main at paul/glebby 2023-01-19 03:42:41 +01:00
a2a17e5ff9 Add type hints and mypy
paul pushed to main at paul/glebby 2023-01-19 03:02:58 +01:00
9cd3803b61 Fix up dockerfile
09d3d8684c Rewrite server using quart instead of flask
d9eb2d7b05 Save player object for each chat message
Compare 3 commits »
paul pushed to main at paul/infrastructure 2023-01-19 03:02:45 +01:00
d91d332af9 Add glebby
paul pushed to main at paul/glebby 2023-01-18 00:18:56 +01:00
49cebb9f0a Add todo file
c10eca266a Add static file serving and basic docker config
3fcb1fb8f5 Fix chat breaking when players leave
fce7419c55 Add todo
Compare 4 commits »
paul pushed to main at paul/jon 2023-01-06 02:39:22 +01:00
b58efa1fc2 Delete old stuff from main
paul pushed to main at paul/jon 2023-01-06 01:30:54 +01:00
fa2d060143 Fix typo
26b087c041 Add inventory line view
f02c7462f3 Add title
05724dbaab Restructure client code
9ce0f974fb Add a few things
Compare 10 commits »
paul created branch main in paul/jon 2023-01-06 01:30:54 +01:00
paul created repository paul/jon 2023-01-06 01:30:08 +01:00
paul pushed to main at paul/infrastructure 2022-11-13 15:00:27 +01:00
e677effa5f Update jup version
paul pushed to master at paul/ihaskell-docker 2022-11-10 16:52:30 +01:00
7134434937 Add hmatrix, cassava, attoparsec
paul pushed to main at paul/infrastructure 2022-11-02 18:42:10 +01:00
885a41088d Add jupyter server
paul pushed to master at paul/ihaskell-docker 2022-11-02 17:50:38 +01:00
8fc68252a1 Use /notebooks and /data
paul pushed to main at paul/stacky 2022-10-31 14:41:21 +01:00
0a0b8d7995 Expand readme a little
paul pushed to main at paul/ci-playground 2022-10-26 20:56:40 +02:00
db29cbb20c Improve tests.h just a little
paul pushed to main at paul/ci-playground 2022-10-25 17:18:26 +02:00
afe0276961 Move tests.h to header