Skip to content
Kani Format Check

Address clippy warnings #174

Sign in to view logs

Address clippy warnings

Address clippy warnings #174

Triggered via push October 3, 2023 14:17
@tautschnigtautschnig
pushed 6ee71f8
update-toolchain
Status Success
Total duration 4m 9s
Artifacts –

format-check.yml

on: push
format-check
31s
format-check
clippy-check
3m 56s
clippy-check
Fit to window
Zoom out
Zoom in