change default perm interpretations in function pres (#843) #5040
ArquintLtest.yml
on: push
build-test-deploy-container
2h 14m
Annotations
3 errors and 3 warnings
|
build-test-deploy-container:
.github/workflows/test.yml#L1
Z3 used up to 14.3526GB of RAM
|
|
build-test-deploy-container
Process completed with exit code 1.
|
|
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/
|
|
build-test-deploy-container:
.github/workflows/test.yml#L1
Java used up to 4.5347GB of RAM
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
pidstat.txt
|
264 KB |
|
|
viperproject~gobra~T5YEVA.dockerbuild
|
37.1 KB |
|