Skip to content
CI

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

Sign in to view logs

fix: complete proof when adding clause results in unsat

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

Triggered via pull request December 17, 2024 14:50
@maartenflippomaartenflippo
synchronize #126
fix/naming-of-predicate-literals
Status Failure
Total duration 3m 20s
Artifacts –

ci.yml

on: pull_request
Test Suite
2m 53s
Test Suite
Documentation
14s
Documentation
Code Style and Lints
36s
Code Style and Lints
Dependency Licensing
3m 7s
Dependency Licensing
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Test Suite
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
Test Suite
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