Integration tests

Splitting #446

Sign in to view logs

Triggered via pull request March 4, 2024 22:22

oveeernight

synchronize #295

oveeernight:splitting

Status Failure

Total duration 23m 5s

Artifacts 1

integration_tests.yml

on: pull_request

run_integration_tests

Annotations

2 errors and 2 warnings

run_integration_tests

Process completed with exit code 1.

IntegrationTests.LinqTest ► HardSymbolicLinqTest(0,0,0,0,0,0): VSharp.SILI.Core/Arithmetics.fs#L891

Failed test found in: tests-results.trx Error: Attempted to divide by zero.

run_integration_tests

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

run_integration_tests

No files were found with the provided path: VSharp.Test/TestResults/generated-tests-results.trx. No artifacts will be uploaded.

Artifacts

Produced during runtime

Name	Size
tests-results Expired	1.89 MB