Skip to content
Kani Format Check

Address clippy warnings #179

Sign in to view logs

Address clippy warnings

Address clippy warnings #179

Triggered via push October 4, 2023 12:10
@tautschnigtautschnig
pushed 24570ca
future-clippy-warnings
Status Success
Total duration 4m 24s
Artifacts –

format-check.yml

on: push
format-check
9s
format-check
clippy-check
4m 14s
clippy-check
Fit to window
Zoom out
Zoom in