Kani Format Check

Upgrade toolchain to 2024-09-14 (#3529) #8153

Sign in to view logs

Triggered via push September 21, 2024 08:10

github-merge-queue[bot]

gh-readonly-queue/main/pr-3529-f1221b1b25e9e2896a9dfef48768cabc677b0ef6

Status Success

Total duration 4m 1s

Artifacts –

format-check.yml

on: push