CI

fix: complete proof when adding clause results in unsat #463

Sign in to view logs

Triggered via pull request December 17, 2024 13:41

opened #126

fix/naming-of-predicate-literals

Status Failure

Total duration 3m 25s

Artifacts –

ci.yml

on: pull_request

Code Style and Lints

Dependency Licensing

Annotations

1 error and 4 warnings

Process completed with exit code 101.

Documentation

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

Code Style and Lints

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

Dependency Licensing

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

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