Skip to content
docker

docker #805

Sign in to view logs

docker

docker #805

Manually triggered November 24, 2023 13:53
@sim642sim642
⁠ c2e9465
svcomp24
Status Success
Total duration 2m 41s
Artifacts –

docker.yml

on: workflow_dispatch
build-push
2m 32s
build-push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-push
svcomp24 is not a valid semver. More info: https://semver.org/