Skip to content
This repository was archived by the owner on Aug 3, 2026. It is now read-only.

Dockerfile: copy bootstrap+README, pin RALPH_RECIPE_DIR=/app - #65

Merged
bitzic merged 1 commit into
mainfrom
fix/prooftest-dockerfile
Jun 26, 2026
Merged

Dockerfile: copy bootstrap+README, pin RALPH_RECIPE_DIR=/app#65
bitzic merged 1 commit into
mainfrom
fix/prooftest-dockerfile

Commits

Commits on Jun 26, 2026