Skip to content
Kani Format Check

Use stable_mir api instead of internal api for analysis #5482

Sign in to view logs

Use stable_mir api instead of internal api for analysis

Use stable_mir api instead of internal api for analysis #5482

Re-run triggered November 14, 2023 15:11
@adpaco-awsadpaco-aws
#2871
ouz-a:smiryf_analysis
Status Success
Total duration 4m 56s
Artifacts –

format-check.yml

on: pull_request
format-check
10s
format-check
clippy-check
4m 43s
clippy-check
Fit to window
Zoom out
Zoom in