Skip to content
CI

Get rid of subst-relate incompleteness in new solver #96936

Sign in to view logs

Get rid of subst-relate incompleteness in new solver

Get rid of subst-relate incompleteness in new solver #96936

Triggered via pull request July 22, 2023 15:33
@compiler-errorscompiler-errors
synchronize #113901
compiler-errors:only-bidi-norm
Status Success
Total duration 30m 25s
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

6 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
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
mismatched closing delimiter: `}`
PR - x86_64-gnu-tools
unexpected `if` in the condition expression
PR - x86_64-gnu-llvm-14
expected identifier, found keyword `return`

Artifacts

Produced during runtime
Name Size
doc-113901-e3201120 Expired
13.7 MB