Skip to content
Kani CI M1

Emit dead goto-instructions on MIR StatementDead (#3063) #125

Sign in to view logs

Emit dead goto-instructions on MIR StatementDead (#3063)

Emit dead goto-instructions on MIR StatementDead (#3063) #125

Triggered via push March 13, 2024 21:24
@karkhazkarkhaz
pushed 0cc4b24
main
Status Success
Total duration 11m 51s
Billable time 12m
Artifacts –

kani-m1.yml

on: push
regression
11m 42s
regression
Fit to window
Zoom out
Zoom in