Skip to content
Kani Format Check

Update cargo dependencies (#3004) #5947

Sign in to view logs

Update cargo dependencies (#3004)

Update cargo dependencies (#3004) #5947

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

format-check.yml

on: push
format-check
5s
format-check
clippy-check
1m 55s
clippy-check
Fit to window
Zoom out
Zoom in