Skip to content
Kani Format Check

Change how we test std codegen #1013

Sign in to view logs

Change how we test std codegen

Change how we test std codegen #1013

Triggered via push November 15, 2024 01:01
@celinvalcelinval
pushed 2613708
chores-kani-fns
Status Success
Total duration 3m 50s
Artifacts –

format-check.yml

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