paul
1 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
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
paul pushed to main at paul/ci-playground 2022-10-25 17:09:37 +02:00
92ddbac37c Add basic unit tests framework
paul pushed to main at paul/infrastructure 2022-10-25 15:57:09 +02:00
f47e4f5c36 Reset pad to hackMD
797b276da4 Update Gitea to 1.17.3
404087a8b0 Use hedgedoc instead of hackmd
Compare 3 commits »
paul pushed to main at paul/infrastructure 2022-10-25 14:38:07 +02:00
0a6cd8f866 Authenticate Codi via Gitea not mail
paul pushed to main at paul/infrastructure 2022-10-15 23:51:36 +02:00
f9af291df7 Add factorio server
paul created repository paul/goats 2022-09-26 13:31:57 +02:00
paul pushed to main at paul/arnold-survivors 2022-09-22 22:56:44 +02:00
718e5bf244 Add funny oof sound
paul pushed to master at paul/lisa 2022-09-21 23:50:28 +02:00
79cebeb52a Add CI config
paul pushed to master at paul/lisa 2022-09-21 23:40:32 +02:00
98ef505453 Add orders route
paul pushed to main at paul/infrastructure 2022-09-20 23:34:17 +02:00
4dfc8af94b Update CI config to pin python and ansible-lint versions