Skip to content

add check for global variable decls that prevent calling interface me… #4940

add check for global variable decls that prevent calling interface me…

add check for global variable decls that prevent calling interface me… #4940

Triggered via push January 23, 2025 09:14
Status Failure
Total duration 3h 31m 31s
Artifacts 2

test.yml

on: push
build-test-deploy-container
3h 31m
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
build-test-deploy-container: .github/workflows/test.yml#L1
Z3 used up to 14.3113GB of RAM
build-test-deploy-container
Process completed with exit code 1.
build-test-deploy-container
Process completed with exit code 1.
build-test-deploy-container
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
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.77125GB of RAM

Artifacts

Produced during runtime
Name Size
pidstat.txt
375 KB
viperproject~gobra~XY222J.dockerbuild
68.3 KB