Skip to content
CI

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

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 #1829

Triggered via pull request August 20, 2026 06:12
@isPANNisPANN
synchronize #1137
codex/1083-clean
Status Cancelled
Total duration 1m 52s
Artifacts –

ci.yml

on: pull_request
Rustfmt
12s
Rustfmt
Clippy
1m 48s
Clippy
macOS ARM64 build & run
1m 47s
macOS ARM64 build & run
Windows x86_64 build & run
1m 37s
Windows x86_64 build & run
RISC-V build & run
1m 48s
RISC-V build & run
Test
1m 48s
Test
Code Coverage
1m 48s
Code Coverage
Fit to window
Zoom out
Zoom in

Annotations

13 errors
Windows x86_64 build & run
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists
Windows x86_64 build & run
The operation was canceled.
macOS ARM64 build & run
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists
macOS ARM64 build & run
The operation was canceled.
RISC-V build & run
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists
RISC-V build & run
The operation was canceled.
Test
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists
Test
The operation was canceled.
Clippy
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists
Clippy
The operation was canceled.
Code Coverage
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists
Code Coverage
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/1137/merge exists