Skip to content
CaDiCaL

Improve API ergonomics #108

Sign in to view logs

Improve API ergonomics

Improve API ergonomics #108

Triggered via pull request April 12, 2024 13:45
@chrjabschrjabs
synchronize #82
feature/ergonomics
Status Success
Total duration 2m 5s
Artifacts –

cadical.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in