Kani Format Check

Upgrade toolchain to 2024-02-17 #380

Sign in to view logs

Triggered via push February 20, 2024 19:08

zhassan-aws

toolchain-2024-02-15

Status Success

Total duration 3m 2s

Artifacts –

format-check.yml

on: push