Skip to content
Back to pull request #113629

Add Adt to SMIR #96195

Sign in to view logs

Add Adt to SMIR

Add Adt to SMIR #96195

Triggered via pull request July 13, 2023 15:01
@spastorinospastorino
synchronize #113629
spastorino:smir-types-3
Status Success
Total duration 31m 13s
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-113629-c80a0f31 Expired
13.6 MB