Kani Format Check

Improve Kani handling of function markers #8891

Sign in to view logs

Triggered via pull request November 16, 2024 02:08

celinval

synchronize #3718

celinval:chores-kani-fns

Status Success

Total duration 3m 31s

Artifacts –

format-check.yml

on: pull_request