Kani Format Check

Automatic cargo update to 2024-11-25 (#3735) #8994

Sign in to view logs

Triggered via push November 26, 2024 01:56

github-merge-queue[bot]

gh-readonly-queue/main/pr-3735-2b20207bb5b18a4f1314cbeacec3b64e7b5d43c2

Status Success

Total duration 2m 15s

Artifacts –

format-check.yml

on: push