paul
0 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
paul pushed to main at paul/infrastructure 2023-03-10 18:55:53 +01:00
92981e0ccf Bump utoy to 0.2
paul pushed to main at paul/utoy 2023-03-10 18:51:18 +01:00
36f9bb390d Bump version
paul pushed to main at paul/jon 2023-03-10 18:49:55 +01:00
e31017831a Fix error
paul pushed to main at paul/utoy 2023-03-10 18:46:37 +01:00
f5fd1089b1 Add /text endpoint
5bdf69ef91 Regenerate hie.yaml
Compare 2 commits »
paul pushed to main at paul/utoy 2023-03-09 02:51:20 +01:00
da2540c3fa Add docker image derivation
paul pushed to main at paul/infrastructure 2023-03-09 02:47:06 +01:00
bae3028751 Add utoy, disable glebby
paul pushed to main at paul/utoy 2023-03-09 02:24:50 +01:00
0b21e04844 Add docker image derivation
d5cd8905bb Reduce files copied into build
Compare 2 commits »
paul pushed to main at paul/utoy 2023-03-09 01:39:49 +01:00
66ad565cba Add nix derivation
paul pushed to main at paul/utoy 2023-03-07 04:41:07 +01:00
747518600c Move CSS into its own file
aab3dfe5c1 Remove RankNTypes from UToy.Table
Compare 2 commits »
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