Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Package Docker CI job failed during release #2851

Closed
adpaco-aws opened this issue Nov 1, 2023 · 0 comments · Fixed by #2854
Closed

Package Docker CI job failed during release #2851

adpaco-aws opened this issue Nov 1, 2023 · 0 comments · Fixed by #2854
Assignees
Labels
[I] CI / Infrastructure Work done to CI, tests and infrastructure.

Comments

@adpaco-aws
Copy link
Contributor

The Package Docker CI job failed during the release of kani-0.40.0. Here's the run: https://github.com/model-checking/kani/actions/runs/6724859832/job/18278536436

And the error:

/usr/bin/docker buildx build --file scripts/ci/Dockerfile.bundle-release-20-04 --iidfile /tmp/docker-build-push-YjJTto/iidfile --label org.opencontainers.image.source=git://github.com/model-checking/kani.git --label org.opencontainers.image.version= --label org.opencontainers.image.licenses=Apache-2.0 OR MIT --tag ghcr.io/model-checking/kani-ubuntu-20.04: --tag ghcr.io/model-checking/kani-ubuntu-20.04:latest --metadata-file /tmp/docker-build-push-YjJTto/metadata-file --push .
ERROR: invalid tag "ghcr.io/model-checking/kani-ubuntu-20.04:": invalid reference format
Error: buildx failed with: ERROR: invalid tag "ghcr.io/model-checking/kani-ubuntu-20.04:": invalid reference format
@adpaco-aws adpaco-aws added the [I] CI / Infrastructure Work done to CI, tests and infrastructure. label Nov 1, 2023
@adpaco-aws adpaco-aws self-assigned this Nov 1, 2023
adpaco-aws added a commit that referenced this issue Nov 2, 2023
Output the tagged version in the `versioning` step of the release
workflow to avoid a failure in the posterior docker build step (see
#2851 for more details).

This has been tested in my fork, where:
1. Pushing the `kani-0.40.0` without any changes generated the same
failure [in this
run](https://github.com/adpaco-aws/rmc/actions/runs/6738081085/job/18317679294)
2. Committing the change in this PR and pushing the `kani-0.40.0` again
resulted in a successful build [in this
run](https://github.com/adpaco-aws/rmc/actions/runs/6738159804/job/18317924214)
3. The tagged image can be downloaded from my fork, as seen
[here](https://github.com/adpaco-aws/rmc/pkgs/container/kani-ubuntu-20.04).

Resolves #2851
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
[I] CI / Infrastructure Work done to CI, tests and infrastructure.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant