Kani Format Check

Add regular & fixme tests for function contracts #8581

Sign in to view logs

Triggered via pull request October 24, 2024 19:50

celinval

synchronize #3371

celinval:issue-3206-tests

Status Success

Total duration 3m 51s

Artifacts –

format-check.yml

on: pull_request