Kani Format Check

Clippy fixes #367

Sign in to view logs

Triggered via push December 19, 2023 17:40

zhassan-aws

int-cast

Status Success

Total duration 1m 57s

Artifacts –

format-check.yml

on: push