Kani Format Check

Upgrade toolchain to 2/10 #194

Sign in to view logs

Triggered via push February 10, 2025 19:24

carolynzech

toolchain-2-10

Status Success

Total duration 3m 39s

Artifacts –

format-check.yml

on: push