Formal Verification Plugin CI

Shorten mangled names #464

Sign in to view logs

Triggered via pull request July 17, 2024 08:24

jesyspa

synchronize #227

shorten-names

Status Failure

Total duration 3m 21s

Artifacts –

gradle.yml

on: pull_request

Annotations

2 errors and 1 warning

FirLightTreeFormVerPluginDiagnosticsTestGenerated$No_contracts.testExtension_properties(): FirLightTreeFormVerPluginDiagnosticsTestGenerated$No_contracts#L215

org.opentest4j.AssertionFailedError: Actual data differs from file content: extension_properties.fir.diag.txt

Process completed with exit code 1.

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/