Kani Format Check

Add tests for issue 3009 #8123

Sign in to view logs

Triggered via pull request September 18, 2024 19:33

carolynzech

opened #3526

carolynzech:issue-3009

Status Success

Total duration 2m 7s

Artifacts –

format-check.yml

on: pull_request