CI

feat(capi): allow access to (generalized) totalizer outputs #1759

Sign in to view logs

Triggered via push September 1, 2026 12:51

chrjabs

main

Status Success

Total duration 12m 1s

Artifacts –

ci.yml

on: push

🏗️ Dev dependencies

🏗️ MSRV build

🏄 WASM check

🐍 Python API

🧪 Workspace tests

📑 Check documentation

✨ Code Quality

🧪 CaDiCaL test each feature

🧪 Kissat test each feature

🔌 Test feature powerset

📋 Test coverage