diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2023-03-25 20:32:02 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-25 21:32:02 +0100 |
| commit | 41ea1888c26ef6f53f86ad1286715e4fd02730b9 (patch) | |
| tree | 63cfe4ee15eb683467edb0024835eaa19fa78dae /opendc-web/opendc-web-runner/Dockerfile | |
| parent | 44fdaa897448002d391e86b5b32053f1cf3ffedb (diff) | |
ci: Migrate to GitHub Container Registry (#143)
Docker Inc is sunsetting free team organizations for the Docker registry,
which our organization is one of. Instead, a paid subscription is now required
to maintain the organization.
Given our relatively small usage of the account, it makes more sense to start
publishing the container images on the GitHub Container Registry, since it is
free for open source projects and integrates well with GitHub Actions.
Fixes #141
Diffstat (limited to 'opendc-web/opendc-web-runner/Dockerfile')
| -rw-r--r-- | opendc-web/opendc-web-runner/Dockerfile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/opendc-web/opendc-web-runner/Dockerfile b/opendc-web/opendc-web-runner/Dockerfile index bb606f4e..5dcc3b9c 100644 --- a/opendc-web/opendc-web-runner/Dockerfile +++ b/opendc-web/opendc-web-runner/Dockerfile @@ -16,3 +16,11 @@ COPY --from=0 /app/opendc-web/opendc-web-runner/build/install /opt/ COPY --from=0 /app/traces /opt/opendc/traces WORKDIR /opt/opendc CMD bin/opendc-web-runner + +LABEL org.opencontainers.image.authors="OpenDC Maintainers <opendc@atlarge-research.com>" +LABEL org.opencontainers.image.url="https://opendc.org" +LABEL org.opencontainers.image.documentation="https://opendc.org" +LABEL org.opencontainers.image.source="https://github.com/atlarge-research/opendc" +LABEL org.opencontainers.image.title="OpenDC Web Runner UI" +LABEL org.opencontainers.image.description="OpenDC Web Runner Docker Image" +LABEL org.opencontainers.image.vendor="AtLarge Research" |