clipper-registry/Build and push benchmark
Build the benchmark image, push to a registry, and report per-phase timings.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| name | Registry name for the summary heading (e.g. Clipper, GHCR) | yes | — |
| output | docker buildx build --output value | yes | — |
| base | Base image (passed as BASE build arg) | no | nvidia/cuda:12.9.0-runtime-ubuntu24.04 |
| context | Build context directory (relative to repo root) | no | push |
| buildkit-image | BuildKit image for the buildx driver | no | "" |
| registry | Registry to log in to (e.g. clipper.dev, ghcr.io) | no | "" |
| registry-username | Registry username | no | "" |
| registry-password | Registry password or token | no | "" |
| ghcr-token | GHCR token for pulling buildkit image (GITHUB_TOKEN) | no | "" |
Outputs
no outputs