Skip to content
CI

Symbolic growth, exact Pareto path search, and deterministic solver backends #1809

Sign in to view logs

Symbolic growth, exact Pareto path search, and deterministic solver backends

Symbolic growth, exact Pareto path search, and deterministic solver backends #1809

Triggered via pull request August 6, 2026 18:02
@isPANNisPANN
synchronize #1083
1075-growth-domain
Status Failure
Total duration 15m 2s
Artifacts –

ci.yml

on: pull_request
Rustfmt
15m 1s
Rustfmt
Clippy
15m 1s
Clippy
RISC-V build & run
15m 1s
RISC-V build & run
Test
15m 1s
Test
Code Coverage
15m 1s
Code Coverage
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Test
The job was not acquired by Runner of type hosted even after multiple attempts
Clippy
The job was not acquired by Runner of type hosted even after multiple attempts
Code Coverage
The job was not acquired by Runner of type hosted even after multiple attempts
CI
Internal server error. Correlation ID: f5eaefd5-9a74-421c-965d-ec6e0af660b4
Rustfmt
The job was not acquired by Runner of type hosted even after multiple attempts
RISC-V build & run
The job was not acquired by Runner of type hosted even after multiple attempts