[CI] Add automated Docker Hub publishing workflow #140
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Description
CProof currently relies on manual builds or external package repositories for distribution. To align with our open-source, decentralized philosophy and simplify deployment for users, we should provide an officially maintained Docker image.
This issue tracks the creation of a GitHub Actions workflow that automatically builds and publishes CProof Docker images to Docker Hub. Since we host on Gitea, this workflow will use the standard
.github/workflows/directory, which is fully supported by Gitea's Actions implementation.Goals
cproof/cproof)v1.2.3,1.2,1)latestanddevtags onmainbranch updateslinux/amd64,linux/arm64)README.mdwith Docker installation instructionsImplementation Details
1. Workflow Location
Create the file at:
.github/workflows/docker-publish.yml2. Workflow Configuration
Use the modern Docker Actions ecosystem (
docker/login-action,docker/build-push-action,docker/metadata-action) for reliable tagging, caching, and multi-arch support.3. Dockerfile Considerations
alpineordistroless)🔐 Secrets Required
Add the following to your Gitea repository settings:
DOCKER_USERNAME: Your Docker Hub usernameDOCKER_TOKEN: A Docker Hub Access Token (preferred over password for security & 2FA compatibility)✅ Acceptance Criteria
.github/workflows/docker-publish.ymlmainbranch pushes andv*tag creationslatest,dev,vX.Y.Z)README.mdis updated with a Docker quick-start sectionpull_requestevents📚 References
Resolved by #157