Kani Format Check

Apply suggestions from code review #1017

Sign in to view logs

Triggered via push November 15, 2024 23:57

celinval

chores-kani-fns

Status Success

Total duration 3m 31s

Artifacts –

format-check.yml

on: push