Skip to content

fix: allow live pilot to write Docker volume - #29

Merged
Nickfost merged 1 commit into
mainfrom
fix/live-pilot-volume-permission
Jul 15, 2026
Merged

fix: allow live pilot to write Docker volume#29
Nickfost merged 1 commit into
mainfrom
fix/live-pilot-volume-permission

Conversation

@Nickfost

Copy link
Copy Markdown
Member

Summary

  • run the proof writer as root inside the job-owned container
  • preserve the non-root ephemeral runner and all scoped cleanup

Root cause

The runner image defaults to UID 1001, while a fresh Docker named volume is root-owned and not writable by that user. The first live attempt failed at /proof/result with permission denied.

Verification

  • RED: generic pilot run 29451460747 failed at the volume write
  • static diff: one changed argument; git diff --check passes
  • GREEN: the single permitted live retry will verify the copied workflow end to end

Relates #7

@Nickfost
Nickfost merged commit 674fe31 into main Jul 15, 2026
1 check passed
@Nickfost
Nickfost deleted the fix/live-pilot-volume-permission branch July 15, 2026 21:29
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