paul
1 Followers · 0 Following
Repositories
20
 Projects Packages Public Activity Starred Repositories
paul pushed to nix-ci at paul/vrnp 2025-10-06 00:24:19 +02:00
d4a5b491cb fixup! fixup! fixup! Nix CI tryouts
paul pushed to nix-ci at paul/vrnp 2025-10-06 00:21:25 +02:00
9433106fcf fixup! fixup! Nix CI tryouts
paul pushed to nix-ci at paul/vrnp 2025-10-06 00:20:42 +02:00
3c09f04099 fixup! Nix CI tryouts
paul pushed to nix-ci at paul/vrnp 2025-09-30 17:31:15 +02:00
aba2fa9b80 Nix CI tryouts
paul created pull request paul/vrnp#3 2025-09-30 17:25:57 +02:00
Nix CI tryouts
paul created branch nix-ci in paul/vrnp 2025-09-30 17:25:14 +02:00
paul pushed to nix-ci at paul/vrnp 2025-09-30 17:25:14 +02:00
cbcd6160c0 Nix CI tryouts
paul pushed to main at paul/infrastructure 2025-09-27 11:31:35 +02:00
7fdc0ea6b1 Set right directory for SSH key
paul pushed to main at paul/infrastructure 2025-09-27 11:25:42 +02:00
0e73defb9a Add work SSH key
paul pushed to main at paul/yore 2025-09-22 23:55:01 +02:00
05943c902e Remove get100YearsAgo
paul pushed to main at paul/yore 2025-09-22 19:04:58 +02:00
0bf734730b Move Accept HTML in Yore.Servant
paul pushed to main at paul/yore 2025-09-22 18:04:23 +02:00
f2a136d27c Implement HasServer instead of using Raw
85bbc8516a Make doIndex a loop
ac8e8a404a Add dbmate message about database version to schema
fa60291779 Bump nixpkgs
Compare 4 commits »
paul pushed to main at paul/yore 2025-09-22 11:58:51 +02:00
dbea1c549f Factor out doIndex
82d8ce63d8 Remove Yore.Repl and Yore.Index, only run indexer at 3 AM
67127fd28d Add schedule module move some ExceptTs around
368bbb0124 Index current day in main
Compare 4 commits »
paul pushed to main at paul/yore 2025-09-19 08:56:03 +02:00
22867bc229 Improve scripts
paul pushed to main at paul/yore 2025-09-17 19:57:34 +02:00
78d317c7bd Make gFromEnv return Either String (...)
cf57a24497 Use envy in Main.hs
01acb5b0e9 Support Text and Int in Envy
c69a1114b8 Provide type operator based envy API
Compare 4 commits »
paul pushed to main at paul/opium 2025-08-24 21:46:12 +02:00
af16429d82 Also expose ConnectionError in main module
paul pushed to main at paul/opium 2025-08-24 21:40:21 +02:00
42398e71bb Expose ConnectionError constructors
paul pushed to main at paul/opium 2025-08-20 22:22:35 +02:00
1c32e4244e Add actual row number to row number errors
paul pushed to main at paul/opium 2025-07-28 08:57:12 +02:00
9e9e0204bb Add ToField Day
paul opened issue paul/pbrinkmeier.de#3 2025-07-25 10:24:33 +02:00
gyro: Add some whitespace/general style