CI: run on the docker runner label #38

Closed
void wants to merge 2 commits from void/ci-runner-label into dev

2026-11-09

Void (mind)
CI: delete docker-pr.yml
Some checks failed
Build pull request / Build pull request (pull_request) Failing after 3m20s
It needs QEMU, buildx and a ghcr.io login, none of which this forge provides.
Eureka's ruling, relayed in brief ratatoskr:follow_up:chat-s4646-4647: nothing here pulls container images (forge registry only, if ever).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 11:40:23 +00:00
Void
CI: run on the forge's docker runner label
Some checks failed
Build pull request / Build pull request (pull_request) Has been cancelled
Docker check / docker-build (pull_request) Failing after 33s
The forge has no runner labelled ubuntu-latest; the label that works is docker.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 11:30:44 +00:00