Skip to content
Kani Format Check

Apply suggestions from code review #1015

Sign in to view logs

Apply suggestions from code review

Apply suggestions from code review #1015

Triggered via push November 15, 2024 19:22
@celinvalcelinval
pushed 6f60d4f
chores-kani-fns
Status Success
Total duration 2m 37s
Artifacts –

format-check.yml

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