Bug Fix Unittests

work around yices2 limitations #749

Sign in to view logs

Triggered via push January 20, 2025 21:10

ekiwi

update-patronus

Status Failure

Total duration 1m 44s

Artifacts –

unittests.yml

on: push

Common Benchmark Tests

Check Repairs Tests

Test CirFix Quick Repairs

Matrix: test-rust

Annotations

2 errors and 5 warnings

test-rust (stable)

Process completed with exit code 101.

test-python

Process completed with exit code 101.

test-rust (stable)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Common Benchmark Tests

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Check Repairs Tests

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test-python

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test CirFix Quick Repairs

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636