Skip to content
Example Test w/ Published Container

Publish Docker image + Example CI WF + Upload to dockerhub #13

Sign in to view logs

Publish Docker image + Example CI WF + Upload to dockerhub

Publish Docker image + Example CI WF + Upload to dockerhub #13

Triggered via pull request March 31, 2025 23:10
@F-WRunTimeF-WRunTime
synchronize #516
challenge-11-ci
Status Failure
Total duration 4m 47s
Artifacts 1

container-test.yml

on: pull_request
publish-test-image
4m 26s
publish-test-image
test
3s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
test
Process completed with exit code 125.
JSON arguments recommended for ENTRYPOINT/CMD to prevent unintended behavior related to OS signals: Dockerfile.kmir#L48
JSONArgsRecommended: JSON arguments recommended for CMD to prevent unintended behavior related to OS signals More info: https://docs.docker.com/go/dockerfile/rule/json-args-recommended/

Artifacts

Produced during runtime
Name Size Digest
runtimeverification~mir-semantics~7XE7V7.dockerbuild Expired
65.2 KB
sha256:c6cb30d282cd485ac5a6345d33c36f820aa07b7be7b1e9af5c36e4a1552f4e55