Kani Format Check

Remove prints #8778

Sign in to view logs

Triggered via push November 8, 2024 19:56

jaisnan

turn-clause-to-contract

Status Failure

Total duration 1m 53s

Artifacts –

format-check.yml

on: push

Annotations

1 error

clippy-check

Process completed with exit code 101.