paul
0 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
paul pushed to main at paul/infrastructure 2022-09-15 15:16:25 +02:00
0d0ae513f0 Update setup for new VPS shamash
paul pushed to main at paul/infrastructure 2022-09-15 13:58:52 +02:00
045506a9ab Turn shell task into smaller Ansible tasks
paul pushed to main at paul/infrastructure 2022-09-15 13:49:03 +02:00
ef9d3d0beb Fix ansible-lint failures
paul pushed to main at paul/infrastructure 2022-09-15 06:04:48 +02:00
9121b5edc0 Replace Nix-based ansible-lint
paul pushed to main at paul/infrastructure 2022-09-15 05:01:07 +02:00
78c13e41a6 Add ansible-lint drone config
c7bcf2cddf Use Nix instead of virtualenv
a86b3e6a43 Move playbooks to playbooks folder
Compare 3 commits »
paul pushed to main at paul/infrastructure 2022-09-15 03:02:13 +02:00
39a18a603d Remove web and runner configs
034465b02d Add codi config
736a19e8d4 Add gitea and drone configs
Compare 3 commits »
paul pushed to main at paul/ci-playground 2022-09-15 02:12:04 +02:00
d868534516 Move algo2 stuff into its own pipeline
paul pushed to main at paul/ci-playground 2022-09-15 01:40:44 +02:00
e2db3a7748 Add flags to gcc invocations
7775028b58 Add radix heap
71c4eba549 Remove Haskell radix heap stuff
cd3b3a7506 Try to quietly run nix-shell
9b0bb23e62 Make stack build and test run in nix-shell
Compare 10 commits »
paul created branch main in paul/ci-playground 2022-09-15 01:40:44 +02:00
paul created repository paul/ci-playground 2022-09-15 00:38:45 +02:00
paul pushed to master at paul/lisa 2022-09-15 00:34:26 +02:00
d389e78ddc Add getLectureByIdCached function
bedd094669 Add login page
b9f7aa088b Wrap long debug info strings
48dab03326 Add debug route and refactor some code
3ca153ba87 Fix time dependency
Compare 10 commits »
paul created branch master in paul/lisa 2022-09-15 00:34:26 +02:00
paul created repository paul/lisa 2022-09-15 00:32:45 +02:00
paul pushed to main at paul/iosevka-bonk 2022-09-15 00:21:09 +02:00
5b4486c0c6 Init iosevka repo
paul created branch main in paul/iosevka-bonk 2022-09-15 00:21:09 +02:00
paul pushed to main at paul/infrastructure 2022-09-15 00:10:06 +02:00
244a4df636 Set gitea ssh clone git user
paul pushed to master at paul/ihaskell-docker 2022-09-14 23:55:58 +02:00
df6a79bea7 Initial commit
paul created branch master in paul/ihaskell-docker 2022-09-14 23:55:58 +02:00
paul created repository paul/iosevka-bonk 2022-09-14 23:55:49 +02:00
paul created repository paul/ihaskell-docker 2022-09-14 23:55:22 +02:00