Fix z3 install and CN tests for Dockerfiles #146
Triggered via pull request
November 12, 2024 18:39
dc-mak
Status
Failure
Total duration
6h 54m 31s
Artifacts
–
docker.yml
on: pull_request
docker-release-ubuntu
4h 4m
docker-release-redhat
4h 13m
Matrix: test-docker-images
Annotations
2 errors
|
docker-release-ubuntu
buildx failed with: ERROR: failed to solve: failed to push ghcr.io/rems-project/cerberus/cn:release: unexpected status from POST request to https://ghcr.io/v2/rems-project/cerberus/cn/blobs/uploads/: 403 Forbidden
|
|
docker-release-redhat
buildx failed with: ERROR: failed to solve: failed to push ghcr.io/rems-project/cerberus/cn:release-redhat: unexpected status from POST request to https://ghcr.io/v2/rems-project/cerberus/cn/blobs/uploads/: 403 Forbidden
|