Skip to content
CI

chore: release #1752

Sign in to view logs

chore: release

chore: release #1752

Triggered via pull request August 27, 2026 06:49
@rustsat-release-plz-botrustsat-release-plz-bot[bot]
synchronize #583
release-plz-2026-01-30T09-45-43Z
Status Cancelled
Total duration 7m 4s
Artifacts –

ci.yml

on: pull_request
🏗️ Dev dependencies
6s
🏗️ Dev dependencies
🏗️ MSRV build
0s
🏗️ MSRV build
🏄 WASM check
0s
🏄 WASM check
🐍 Python API
0s
🐍 Python API
🧪 Workspace tests
0s
🧪 Workspace tests
📑 Check documentation
0s
📑 Check documentation
✨ Code Quality
0s
✨ Code Quality
🧪 CaDiCaL test each feature
0s
🧪 CaDiCaL test each feature
🧪 Kissat test each feature
0s
🧪 Kissat test each feature
🔌 Test feature powerset
0s
🔌 Test feature powerset
📋 Test coverage
0s
📋 Test coverage
All CI stages
7s
All CI stages
Fit to window
Zoom out
Zoom in

Annotations

3 errors
🏗️ Dev dependencies
Canceling since a higher priority waiting request for CI-refs/pull/583/merge exists
All CI stages
Process completed with exit code 1.
CI
Canceling since a higher priority waiting request for CI-refs/pull/583/merge exists