Skip to content
Back to pull request #123041

Miri subtree update #119260

# to view logs

Miri subtree update

Miri subtree update #119260

Triggered via pull request March 25, 2024 17:36
@RalfJungRalfJung
opened #123041
RalfJung:miri
Status Success
Total duration 50m 5s
Artifacts 1

ci.yml

on: pull_request
Matrix: auto
Matrix: try
master
0s
master
Matrix: pr
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

8 errors
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
lifetimes cannot start with a number
PR - x86_64-gnu-tools
mismatched closing delimiter: `}`
PR - x86_64-gnu-tools
missing type for `static` item
PR - x86_64-gnu-tools
unexpected `if` in the condition expression

Artifacts

Produced during runtime
Name Size
doc-123041-cf1eb93a Expired
11.6 MB