Kani Format Check

Fix StableMIR migration documentation #5638

Sign in to view logs

Triggered via pull request December 5, 2023 20:52

opened #2915

Status Success

Total duration 2m 7s

Artifacts –

format-check.yml

on: pull_request