CI

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

Sign in to view logs

Triggered via pull request February 10, 2025 08:47

synchronize #126

fix/naming-of-predicate-literals

Status Failure

Total duration 3m 41s

Artifacts –

ci.yml

on: pull_request

Code Style and Lints

Dependency Licensing

Annotations

1 error

Process completed with exit code 101.