Skip to content

bump nixbot#5705

Merged
gitea-mq[bot] merged 6 commits into
mainfrom
open-pr-nohup
Jul 7, 2026
Merged

bump nixbot#5705
gitea-mq[bot] merged 6 commits into
mainfrom
open-pr-nohup

Conversation

@Mic92

@Mic92 Mic92 commented Jul 5, 2026

Copy link
Copy Markdown
Owner

No description provided.

@Mic92 Mic92 force-pushed the open-pr-nohup branch 11 times, most recently from ec199b6 to 0b398b9 Compare July 5, 2026 11:19
@Mic92 Mic92 changed the title this will fail bump nixbot Jul 5, 2026
@Mic92 Mic92 enabled auto-merge July 5, 2026 11:19
@gitea-mq gitea-mq Bot disabled auto-merge July 5, 2026 11:24
@gitea-mq

gitea-mq Bot commented Jul 5, 2026

Copy link
Copy Markdown
Contributor

⚠️ Removed from merge queue: PR was marked as ready to merge but Gitea did not merge it in time. This may indicate a branch protection issue.

@Mic92 Mic92 enabled auto-merge (rebase) July 5, 2026 15:36
@gitea-mq gitea-mq Bot disabled auto-merge July 5, 2026 15:41
@gitea-mq

gitea-mq Bot commented Jul 5, 2026

Copy link
Copy Markdown
Contributor

⚠️ Removed from merge queue: PR was marked as ready to merge but Gitea did not merge it in time. This may indicate a branch protection issue.

Mic92 added 6 commits July 7, 2026 13:01
Switch the hub to dynamic mode so external-builders and max-jobs track
the workers actually connected instead of a hard-coded systems list and
eve's default max-jobs, which capped offload far below available worker
capacity.

Raise id-count to cover the hub's oversubscribed max-jobs: an external
build still reserves an auto-allocated uid slot on eve, and the pool
holds id-count / 65536 of them, so it would otherwise become the hidden
ceiling once max-jobs is lifted.
nixbot caps concurrent builds at the CPU count (24 on eve), but the
builds offload to tribuchet workers and use almost no local CPU, so that
bound left the workers (576 slots) idle at ~24 in flight. Raise it to
128; each concurrent build reserves one auto-allocated uid slot, so it
stays under id-count/65536 (256).
@Mic92 Mic92 enabled auto-merge July 7, 2026 12:09
@gitea-mq gitea-mq Bot merged commit 8f307c0 into main Jul 7, 2026
6 checks passed
auto-merge was automatically disabled July 7, 2026 12:11

Pull Request is not mergeable

@gitea-mq gitea-mq Bot deleted the open-pr-nohup branch July 7, 2026 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant