saphan/proven-lab-seed repository overview

⁠saphan/proven-lab-seed

The one-shot seed of Proven⁠'s judges' lab (make up). Against the lab's own Gitea it creates the admin, a non-admin bot account the workflow posts as, a demo repository with an open pull request, and the Proven workflow; then it exits. It only talks to the lab's Gitea.

Not useful on its own: start the lab from the repository with make up (see docs/LAB.md).

Alpine with curl; runs as user proven (uid 65532) after preparing its state directories. linux/amd64 and linux/arm64, one manifest list per tag.