C-API

Include kissat source code #246

Sign in to view logs

Triggered via pull request October 17, 2024 08:14

chrjabs

opened #149

kissat-cadical-src

Status Success

Total duration 3m 29s

Artifacts –

capi.yml

on: pull_request

Ensure C-API crate version is in sync

Test generated C header

Matrix: Build and test