C-API

SAT solver output parser #55

Sign in to view logs

Re-run triggered April 25, 2024 18:09

chrjabs

#86

atimaly:main

Status Success

Total duration 3m 23s

Artifacts –

capi.yml

on: pull_request

Ensure C-API crate version is in sync

Test generated C header

Matrix: Build and test