build core infra also in CI
Jörg Thalheim committed
Feb 22, 2025 at 18:02 UTC
e2fff3f3a9a09c84870d2913bfdfcaa3fceffa61
1 file changed
+3
.github/workflows/ci.yml
+3
@@ -32,6 +32,9 @@ jobs:
32
- caliban.nixos.org
33
- elated-minsky
34
- sleepy-brown
35
+ - haumea
36
+ - pluto
37
+ - mimas
38
steps:
39
- uses: actions/checkout@v4
40
- uses: cachix/install-nix-action@v30