Skip to content
CI

Exact symbolic growth, unified reduction size contracts, and deterministic solver backends #1813

Sign in to view logs

Exact symbolic growth, unified reduction size contracts, and deterministic solver backends

Exact symbolic growth, unified reduction size contracts, and deterministic solver backends #1813

Triggered via pull request August 8, 2026 11:12
@isPANNisPANN
synchronize #1083
1075-growth-domain
Status Failure
Total duration 3m 16s
Artifacts –

ci.yml

on: pull_request
Rustfmt
11s
Rustfmt
Clippy
2m 29s
Clippy
RISC-V build & run
1m 25s
RISC-V build & run
Test
3m 14s
Test
Code Coverage
3m 9s
Code Coverage
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Clippy
Process completed with exit code 101.
Code Coverage
Process completed with exit code 101.
Test
Process completed with exit code 101.