Kani Format Check

Upgrade toolchain to 2024-10-30 (#3661) #8667

Sign in to view logs

Triggered via push October 30, 2024 14:02

github-merge-queue[bot]

gh-readonly-queue/main/pr-3661-323fc27a9cf0a8bdefd20e7f0222bfe912c86557

Status Success

Total duration 6m 18s

Artifacts –

format-check.yml

on: push