Skip to content

Add value and format to ghost_instrumentation #1176

Add value and format to ghost_instrumentation

Add value and format to ghost_instrumentation #1176

Triggered via push November 26, 2024 09:03
Status Failure
Total duration 14m 21s
Artifacts 1

docker.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
build-push
Process completed with exit code 125.
build-push
vmcai25 is not a valid semver. More info: https://semver.org/
build-push
No Docker image version has been generated. Check tags input.
build-push
No Docker tag has been generated. Check tags input.

Artifacts

Produced during runtime
Name Size
goblint~analyzer~XJWTPU.dockerbuild
65.4 KB