Kani Format Check

Migrate `intrinsics` module to use StableMIR #5768

Sign in to view logs

Triggered via pull request December 13, 2023 03:58

celinval

synchronize #2939

celinval:smir-intrinsics

Status Success

Total duration 2m 14s

Artifacts –

format-check.yml

on: pull_request