Skip to content
CI

-Znext-solver allow ExprKind::Call for not-yet defined opaques #175481

Sign in to view logs

-Znext-solver allow ExprKind::Call for not-yet defined opaques

-Znext-solver allow ExprKind::Call for not-yet defined opaques #175481

Triggered via pull request September 12, 2025 12:28
@lcnrlcnr
synchronize #145993
lcnr:allow-calling-opaques
Status Cancelled
Total duration 33s
Artifacts –

ci.yml

on: pull_request
Calculate job matrix
11s
Calculate job matrix
Matrix: job
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Calculate job matrix
The operation was canceled.
Calculate job matrix
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists