Kani Format Check

Automatic toolchain upgrade to nightly-2024-09-25 (#3547) #8219

Sign in to view logs

Triggered via push September 25, 2024 07:43

github-merge-queue[bot]

gh-readonly-queue/main/pr-3547-4f75199d476c10316e43171b662bf97a35cfdb29

Status Success

Total duration 3m 31s

Artifacts –

format-check.yml

on: push