Skip to content

License remark

License remark #1529

Triggered via push November 7, 2025 08:58
Status Failure
Total duration 8m 52s
Artifacts 1

docker.yml

on: 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" 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
vmcai26 is not a valid semver. More info: https://semver.org/

Artifacts

Produced during runtime
Name Size Digest
goblint~analyzer~5FKI1A.dockerbuild Expired
43 KB
sha256:3b04cd5318b04440095a08cd0a1533f2f79db15ef88049f43b5ba50c57a5fbb0