paul
1 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
paul pushed to main at paul/infrastructure 2023-03-07 02:02:23 +01:00
d4c58b8763 Change secret sauce :)
05bdddfed7 Bump jup to 1.5
Compare 2 commits »
paul pushed to master at paul/ihaskell-docker 2023-03-01 03:46:28 +01:00
b9bb26bd3a Add conduit and text stuff
b85383530b Add safe-exceptions and transformers
faa129192e Add hmatrix, cassava, attoparsec
c3d40ceaab Use /notebooks and /data
b7be763eb8 Initial commit
Compare 5 commits »
paul pushed to master at paul/ihaskell-docker 2023-02-20 01:29:30 +01:00
7d97252dd5 Add HandsomeSoup
paul pushed to master at paul/ihaskell-docker 2023-02-20 01:27:05 +01:00
00bd96aff7 Add safe-exceptions and transformers
paul pushed to main at paul/infrastructure 2023-01-27 04:59:32 +01:00
1b61394afd Use vault password secret in CI
9f40b38886 Add encrypted .env files
Compare 2 commits »
paul pushed to main at paul/infrastructure 2023-01-27 04:29:39 +01:00
a1cac6b8a3 Move docker folder and delete hedgedoc user
paul pushed to main at paul/infrastructure 2023-01-27 02:57:54 +01:00
3f3d619694 Adjust playbooks for check mode
paul pushed to main at paul/infrastructure 2023-01-27 01:47:51 +01:00
0061d7dbf0 Change misc hostname to contabo subdomain
paul pushed to main at paul/infrastructure 2023-01-27 01:44:25 +01:00
7de9db5de0 Move into ansible directory before running the playbook
paul pushed to main at paul/infrastructure 2023-01-27 01:41:56 +01:00
206a43526a Fix typo
paul pushed to main at paul/infrastructure 2023-01-27 01:39:19 +01:00
2f9af8621d Create .ssh directory in check CI step
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 »