Skip to content
Kani Format Check

Syntax fixes #237

Sign in to view logs

Syntax fixes

Syntax fixes #237

Triggered via push February 6, 2024 21:42
@tautschnigtautschnig
pushed a044577
float-intrinsics
Status Success
Total duration 2m 14s
Artifacts –

format-check.yml

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