Skip to content
docker

License remark #1476

Sign in to view logs

License remark

License remark #1476

Triggered via push September 16, 2025 02:46
@michael-schwarzmichael-schwarz
pushed e371abb
race-digest-vmcai16
Status Failure
Total duration 10m 26s
Artifacts 1

docker.yml

on: push
build-push
8m 50s
build-push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
build-push
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c make relocatable" did not complete successfully: exit code: 2
build-push
No Docker tag has been generated. Check tags input.
build-push
No Docker image version has been generated. Check tags input.
build-push
race-digest-vmcai16 is not a valid semver. More info: https://semver.org/

Artifacts

Produced during runtime
Name Size Digest
goblint~analyzer~WNVEEI.dockerbuild Expired
31.9 KB
sha256:f81178728287192e6af40972f3d9fe25c322e554e23ad5feb67625debbeb95d8