Skip to content

add missing proof obligation #4761

add missing proof obligation

add missing proof obligation #4761

Triggered via push November 14, 2024 13:11
Status Failure
Total duration 9m 5s
Artifacts 2

test.yml

on: push
build-test-deploy-container
8m 56s
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
build-test-deploy-container
Process completed with exit code 1.
The 'as' keyword should match the case of the 'from' keyword: workflow-container/Dockerfile#L7
FromAsCasing: 'as' and 'FROM' keywords' casing do not match More info: https://docs.docker.com/go/dockerfile/rule/from-as-casing/
Legacy key/value format with whitespace separator should not be used: workflow-container/Dockerfile#L35
LegacyKeyValueFormat: "ENV key=value" should be used instead of legacy "ENV key value" format More info: https://docs.docker.com/go/dockerfile/rule/legacy-key-value-format/

Artifacts

Produced during runtime
Name Size
pidstat.txt
1.43 KB
viperproject~gobra~W3YS4R.dockerbuild
68.1 KB