WIP: build-remote: dumb hack for setting cores #27
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "cores-setting"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This allows us to specify the number of cores to build on in hydra's
config rather than in nix.conf on the builders, which allows our
"multiple entries per builder" thing to work, so both big-parallel and
non-big-parallel builds can be scheduled on the same node.
This isn't the ideal solution, but is better than the hacks we
considered (ForceCommand on the server side, which would require
multiple client keypairs, and RemoteCommand, which is incompatible
with passing a remote command on the command line).
A more principled solution would be to support setting options via the
daemon protocol, and making use of this functionality. This is
mentioned as a TODO in ssh-store.cc currently, but we want our hydra
to build things now :)
For that, we'd have to stop using the serve protocol first ;)
Anyways, I have a different question: if we ever get to it (I hope so!), would we pass options to remote builders the same way, i.e. via query params in the machine URL or do you have a different idea for that? If not, I'd be fine with implementing the ad-hoc switch for
cores
given that it'd just continue to work then.If we do this, I'd have another request though: I'd appreciate if this would be documented. There's sadly no documentation about builder files at all, so just a very short not about this is sufficient. Otherwise, we'd just introduce another more or less obscure feature nobody knows about.
f15ce76dfd
to817995e538
817995e538
toac05f8a215
ac05f8a215
to706267caaa
706267caaa
to77f933e7b8
77f933e7b8
to41d5efaff2
41d5efaff2
to54d8ce782a
54d8ce782a
to2a590b5a3e
2a590b5a3e
toa1dd868feb
a1dd868feb
to3924f6f972
View command line instructions
Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Forgejo.Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.