bc6a91128d
ruff: Don't default to 79 chars
...
Not what we want for other projects.
Could put a pyproject.toml here to enforce it,
but then it removes all the defaults set in user configuration,
so uuuuuh
2025-05-15 22:33:09 +02:00
d3119db300
nod: Android integration
2025-04-24 20:56:05 +02:00
2ce896491b
No mo abavorana
2025-04-06 22:43:01 +02:00
636f1bd617
Build with morton!
2025-03-25 10:15:33 +01:00
5ca5007eb5
No mo clowncar
2025-03-22 23:33:16 +01:00
8fd6a0d2d8
Misc
2025-01-23 20:17:28 +01:00
fafc4d45b7
remote-builds: Fix host key verification
2025-01-23 17:34:20 +01:00
50abb95e4c
Re-enable remote builds
2025-01-23 15:34:21 +01:00
355b63cf73
Reformat all Nix files
2024-12-15 00:31:26 +01:00
7b9c4fb004
passwords: Refactor
2024-06-26 02:16:50 +02:00
fe33f30bce
No more port 2278
2024-05-18 17:05:56 +02:00
536eee36ad
remote-builds: Disable by default
...
It makes things slower and my server unresponsive sometimes.
Probably more work to be done but I don't feel like doing that now.
2024-05-10 14:50:02 +02:00
056e3447e4
remote-builds: Specify max jobs
...
Should make better use of the hardware. Otherwise it's roundtrip frenzy.
2024-05-09 23:13:08 +02:00
bd84dd7fd7
remote-builds: Reduce amount of SSH connections
...
It seems to be doing a SSH connection for each path it has to check...
wow.
2024-05-09 23:07:51 +02:00
82d5e8a466
remote-builds: Fix 🙈
2024-05-07 23:05:32 +02:00
0663e3755b
remote-builds: Fix SSH host keys
...
vivarium doesn't actually transfer the public keys, so the .pub files
are from somewhere during installation... oops.
2024-05-07 00:00:36 +02:00
bd538785b8
remote-builds: Add aarch64 support
2024-05-06 22:50:01 +02:00
836f8ee8b4
Further attempt at remote builds
2024-05-06 22:25:35 +02:00
b7d8797a6d
remote-builds: WIP
2024-04-10 01:05:38 +02:00
