alpha
Login
or
Join now
lass.pds.lassul.us
/
superconfig
Star
0
Fork
1
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
This repository has no description
Star
0
Fork
1
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
1
Pipelines
superconfig
/
.github
/
workflows
4 files
at
19f499bc2d55663f63f4067e5cd93bf31050233e
Hermes
.github.update-pkgs: merge PRs with a merge commit instead of squashing
7d ago
8ebf9a36
ci.yml
.github: build all machines with the farm in the ci check, one job per machine ci.yml calls farm.yml (now reusable) instead of the eval-only nixos-* checks, which are gone from flake.nix. The farm job is only the coordinator (scheduler + envoy, which now requires the farm client cert, reachable over iroh). Each machine job joins as a builder, evaluates its machine, builds the toplevel through the farm and leaves when done; its outputs are in niks3 by then. ci runs for master pushes, PRs and dispatches; a newer run for the same ref cancels the older one, farms of different refs queue FIFO (queue: max). update-pkgs verifies PRs with ci.yml alone.
1 week ago
farm.yml
.github: build all machines with the farm in the ci check, one job per machine ci.yml calls farm.yml (now reusable) instead of the eval-only nixos-* checks, which are gone from flake.nix. The farm job is only the coordinator (scheduler + envoy, which now requires the farm client cert, reachable over iroh). Each machine job joins as a builder, evaluates its machine, builds the toplevel through the farm and leaves when done; its outputs are in niks3 by then. ci runs for master pushes, PRs and dispatches; a newer run for the same ref cancels the older one, farms of different refs queue FIFO (queue: max). update-pkgs verifies PRs with ci.yml alone.
1 week ago
unmaintained-graph.yml
ci: publish unmaintained-graph to GitHub Pages
2 weeks ago
update-pkgs.yml
.github.update-pkgs: merge PRs with a merge commit instead of squashing
1 week ago