robaertschi
0 Followers · 0 Following
  • Joined on 2024-07-05
Repositories
7
 Projects Packages Public Activity Starred Repositories
robaertschi synced commits to main at robaertschi/tt from mirror 2025-03-09 20:36:55 +00:00
19c8cb9103 begin function calls
ee2d23e97f formatted
Compare 2 commits »
robaertschi synced commits to main at robaertschi/tt from mirror 2025-03-09 12:26:55 +00:00
e0f2da3174 allow specifing the version using nix-build nix --arg version '"0.1.0"'
9edcc92564 support nix-build
8748df6559 upsi
70cfdb5e95 extracted the nix package into it's own package
Compare 4 commits »
robaertschi synced commits to main at robaertschi/tt from mirror 2025-03-09 04:16:56 +00:00
290d05da88 finished functions by fixing arguments
robaertschi synced commits to main at robaertschi/tt from mirror 2025-03-07 19:36:55 +00:00
b633246af8 direnv and some arg fixes
robaertschi synced commits to main at robaertschi/tt from mirror 2025-03-03 17:56:54 +00:00
45dad474e0 fix some function stuff
6425cd3b55 fixed some bugs
Compare 2 commits »
robaertschi synced commits to main at robaertschi/tt from mirror 2025-02-27 16:06:55 +00:00
508b3fdc7a added functions till typechecker WIP
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-27 12:13:11 +00:00
d8da3d590d revert 111414836fd6e4381954ff7e6efb8383e0de5346
robaertschi synced commits to main at robaertschi/tt from mirror 2025-02-26 15:56:54 +00:00
b0b7ede252 fixed if expressions
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-26 10:29:18 +00:00
111414836f fix body size
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-25 20:01:52 +00:00
13066e4708 Update .github/workflows/docker.yaml
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-25 19:59:59 +00:00
7eef248b0e update to new domain
robaertschi synced commits to main at robaertschi/tt from mirror 2025-02-24 15:36:25 +00:00
e9a1ee0bab fix flake.nix on macos
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-24 08:52:44 +00:00
d44de150ed remove unused pictures
robaertschi synced commits to main at robaertschi/tt from mirror 2025-02-23 23:16:24 +00:00
1b2ebd2361 a lot of stuff
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-23 12:18:25 +00:00
9266734a10 add to bucket webring, still have to make a pr over there
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-23 11:55:37 +00:00
8ee3db36fb add robots.txt and selfhosted page
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-23 11:04:17 +00:00
6bea4e1323 remove hx-boost
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-23 10:44:23 +00:00
1c65788cc2 this fixed the docker container for some reason
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-23 10:24:32 +00:00
42c2dc7e97 add ass logo, make a better one one day
robaertschi pushed to main at robaertschi/robaertschi.xyz 2025-02-22 22:24:32 +00:00
5c64199877 some formatting