test

Support for Ghost Types #4958

Sign in to view logs

Re-run triggered January 24, 2025 16:18

ArquintL

#773

ghost-types

Status Failure

Total duration 19m 11s

Artifacts 2

test.yml

on: pull_request

build-test-deploy-container

Annotations

3 errors and 4 warnings

build-test-deploy-container: .github/workflows/test.yml#L1

Z3 used up to 1.08665GB 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 5.13618GB of RAM

Artifacts

Produced during runtime

Name	Size
pidstat.txt	54.7 KB
viperproject~gobra~F3W0HG.dockerbuild	39.4 KB