Kani Format Check

Update features/verify-rust-std branch to 11-06 #8756

Sign in to view logs

Triggered via pull request November 6, 2024 21:06

qinheping

opened #3690

main

Status Success

Total duration 2m 17s

Artifacts –

format-check.yml

on: pull_request