CI

chore: release #1743

Sign in to view logs

Triggered via pull request August 22, 2026 00:08

rustsat-release-plz-bot[bot]

synchronize #583

release-plz-2026-01-30T09-45-43Z

Status Success

Total duration 12m 7s

Artifacts –

ci.yml

on: pull_request

🏗️ 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