Skip to content
Kani CI M1

cargo update and fix macos CI (#3067) #122

Sign in to view logs

cargo update and fix macos CI (#3067)

cargo update and fix macos CI (#3067) #122

Triggered via push March 11, 2024 18:58
@zhassan-awszhassan-aws
pushed 556cf71
main
Status Success
Total duration 11m 39s
Billable time 12m
Artifacts –

kani-m1.yml

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