Skip to content
RustSAT Tools

Factor out C-API, Python API and solver tests into their own crates #103

Sign in to view logs

Factor out C-API, Python API and solver tests into their own crates

Factor out C-API, Python API and solver tests into their own crates #103

Triggered via pull request April 11, 2024 18:38
@chrjabschrjabs
synchronize #80
refactor/solver-tests
Status Success
Total duration 3m 13s
Artifacts –

tools.yml

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