Skip to content
Example Test w/ Published Container

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

Sign in to view logs

Publish Docker image + Example CI WF + Upload to dockerhub

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

Triggered via pull request April 1, 2025 17:57
@F-WRunTimeF-WRunTime
synchronize #516
challenge-11-ci
Status Failure
Total duration 4m 22s
Artifacts 1

container-test.yml

on: pull_request
publish-test-image
4m 16s
publish-test-image
test
1m 20s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
test
Process completed with exit code 1.
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~WJS0XV.dockerbuild Expired
65.4 KB
sha256:0f73605036a25ec750ad903603dc53e5f3f0c30005245abc2720ff76b6ee4e35