Skip to content

fix(licensing): keep popili off remote executors under the local licence modes - #256

Open
GPLeemrijse wants to merge 1 commit into
mainfrom
fix/local-license-no-remote-exec
Open

GPLeemrijse wants to merge 1 commit into
mainfrom
fix/local-license-no-remote-exec

Conversation

@GPLeemrijse

@GPLeemrijse GPLeemrijse commented Nov 5, 2026 •

Copy link
Copy Markdown
Contributor

Under local_user and local_acquire popili reads a licence on this machine, but nothing stopped its actions and tests from running remotely, or from getting the popili of another execution platform listed first. Both modes now tag generate, typecheck, popili_rule actions and popili-running tests no-remote-exec (results stay cacheable), and the toolchain hub enables other execution platforms' toolchains only under the licence modes that let popili run remotely, so the local modes always get this machine's popili. When that leaves no toolchain, the error says why. license_source is now also checked against the known modes in coco.toolchain, coco_toolchain and coco_repositories.

Here the licence file stays an action input, so it is part of the action key: under local_user every licence renewal by popili's daemon reruns every popili action and test. #258, stacked on this PR, fixes that by passing the local_user licence by absolute path instead, which is only sound because popili no longer runs remotely in that mode; #264 does the same for local_acquire.

@GPLeemrijse
GPLeemrijse force-pushed the fix/local-license-no-remote-exec branch from f828894 to 3ff3169 Compare November 5, 2026 17:43
@GPLeemrijse
GPLeemrijse added this pull request to stack #259 November 5, 2026 17:46
@GPLeemrijse
GPLeemrijse marked this pull request as ready for review November 5, 2026 17:52
@GPLeemrijse
GPLeemrijse requested a review from tomgr November 5, 2026 17:53
@GPLeemrijse
GPLeemrijse marked this pull request as draft November 5, 2026 21:05
@GPLeemrijse
GPLeemrijse removed the request for review from tomgr November 5, 2026 23:06
@GPLeemrijse
GPLeemrijse force-pushed the fix/local-license-no-remote-exec branch 2 times, most recently from c4ca276 to 4a435e0 Compare November 6, 2026 16:22
@GPLeemrijse
GPLeemrijse marked this pull request as ready for review November 6, 2026 16:51
@GPLeemrijse
GPLeemrijse requested a review from tomgr November 6, 2026 16:51
@GPLeemrijse
GPLeemrijse force-pushed the fix/local-license-no-remote-exec branch from 4a435e0 to e2875ff Compare November 6, 2026 17:10
…nce modes

local_user and local_acquire read a licence on this machine, but nothing
stopped popili's actions and tests from running remotely. Both modes now tag
them no-remote-exec; results stay cacheable. They also get this machine's
popili: the hub enables other execution platforms' toolchains only under the
licence modes that let popili run remotely.
@GPLeemrijse
GPLeemrijse removed this pull request from stack #259 November 6, 2026 17:20
@GPLeemrijse
GPLeemrijse force-pushed the fix/local-license-no-remote-exec branch from e2875ff to d4b9b7b Compare November 6, 2026 17:20
@GPLeemrijse
GPLeemrijse added this pull request to stack #268 November 6, 2026 17:20
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