Skip to content

analyse visitor: build proof tree in probe #123581

analyse visitor: build proof tree in probe

analyse visitor: build proof tree in probe #123581

Triggered via pull request May 9, 2024 17:31
Status Failure
Total duration 18m 19s
Billable time 1h 0m
Artifacts

ci.yml

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

Annotations

5 errors
PR - x86_64-gnu-llvm-17
Process completed with exit code 1.
PR - x86_64-gnu-tools
The job was canceled because "_1_1_ubuntu-20_04-16core-" failed.
PR - x86_64-gnu-tools
The operation was canceled.
PR - mingw-check
The job was canceled because "_1_1_ubuntu-20_04-16core-" failed.
PR - mingw-check
The operation was canceled.