Skip to content
Kani CI M1

Update Cargo dependencies (#2940) #65

Sign in to view logs

Update Cargo dependencies (#2940)

Update Cargo dependencies (#2940) #65

Triggered via push December 13, 2023 22:24
@feliperodrifeliperodri
pushed 0493b04
main
Status Success
Total duration 10m 53s
Billable time 11m
Artifacts –

kani-m1.yml

on: push
regression
10m 43s
regression
Fit to window
Zoom out
Zoom in