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-server/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-server/Dockerfile')
| -rw-r--r-- | opendc-web/opendc-web-server/Dockerfile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/opendc-web/opendc-web-server/Dockerfile b/opendc-web/opendc-web-server/Dockerfile index 5828e5c9..8aa54291 100644 --- a/opendc-web/opendc-web-server/Dockerfile +++ b/opendc-web/opendc-web-server/Dockerfile @@ -23,3 +23,11 @@ FROM openjdk:17-slim COPY --from=0 /app/opendc-web/opendc-web-server/build/quarkus-app /opt/opendc WORKDIR /opt/opendc CMD java -jar quarkus-run.jar + +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" +LABEL org.opencontainers.image.description="OpenDC Docker Image" +LABEL org.opencontainers.image.vendor="AtLarge Research" |