Commit graph

8 commits

Author SHA1 Message Date
Timo Kaufmann
7fd62185b9
Remove marvin-mk2
The bot is now discontinued. See [1] for more information.

[1] https://github.com/timokau/marvin-mk2/issues/34#issuecomment-1100656280
2022-04-18 07:25:00 +02:00
zowoq
217d5717b5 flake: drop workaround branch
merged into upstream
2022-04-17 15:54:40 +10:00
Jörg Thalheim
8e4e113c95
flake: fix hostnames for nixos machines 2022-04-10 23:19:39 +02:00
Jörg Thalheim
6675cc6919
hydra: fix nixpkgs input 2022-04-10 23:19:02 +02:00
Jörg Thalheim
51d3cf5251
fix marvin-mk2 build 2022-04-10 23:04:56 +02:00
Jörg Thalheim
25f1f8b37b
switch to hydra git 2022-04-10 22:40:01 +02:00
Jörg Thalheim
4f6b7a6d04
get rid of niv 2022-04-10 22:29:40 +02:00
Jörg Thalheim
9c29a82b46
switch to flake 2022-04-10 21:58:25 +02:00