Integration tests

Concrete memory and unsafe operations fixes #492

Sign in to view logs

Annotations

1 error and 3 warnings

Process completed with exit code 145.

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

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

The logs for this run have expired and are no longer available.