Kani Format Check

Improve Kani handling of function markers #8887

Sign in to view logs

Triggered via pull request November 15, 2024 19:22

celinval

synchronize #3718

celinval:chores-kani-fns

Status Success

Total duration 3m 10s

Artifacts –

format-check.yml

on: pull_request