Kani Format Check

Fix `--emit mir` handling of constants #6808

Sign in to view logs

Triggered via pull request June 19, 2024 18:44

celinval

opened #3276

celinval:issue-xxxx-emit-mir

Status Success

Total duration 2m 2s

Artifacts –

format-check.yml

on: pull_request