Skip to content
Kani CI M1

modifies Clauses for Function Contracts (#2800) #89

Sign in to view logs

modifies Clauses for Function Contracts (#2800)

modifies Clauses for Function Contracts (#2800) #89

Triggered via push February 2, 2024 23:42
@feliperodrifeliperodri
pushed 3467ba1
main
Status Success
Total duration 11m 22s
Billable time 12m
Artifacts –

kani-m1.yml

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