Skip to content
Back to pull request #115582

Implement refinement lint for RPITIT #100897

Sign in to view logs

Implement refinement lint for RPITIT

Implement refinement lint for RPITIT #100897

Triggered via pull request September 7, 2023 01:31
@rust-cloud-vmsrust-cloud-vms[bot]
synchronize #115582
compiler-errors:refine-yeet
Status Success
Total duration 32m 37s
Billable time 1h 22m
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

5 errors
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
unexpected `if` in the condition expression
PR - x86_64-gnu-tools
mismatched closing delimiter: `}`

Artifacts

Produced during runtime
Name Size
doc-115582-7714db87 Expired
11.1 MB