Skip to content
Kani CI M1

Update cargo dependencies (#3004) #95

Sign in to view logs

Update cargo dependencies (#3004)

Update cargo dependencies (#3004) #95

Triggered via push February 7, 2024 17:56
@tautschnigtautschnig
pushed 129375f
main
Status Success
Total duration 11m 10s
Billable time 11m
Artifacts –

kani-m1.yml

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