Kani Format Check

Autoharness Subcommand (#3874) #9542

Sign in to view logs

Triggered via push February 11, 2025 15:56

github-merge-queue[bot]

gh-readonly-queue/main/pr-3874-4f78926bf46891a5bcd6ed94a6ce1550640a9dc9

Status Success

Total duration 3m 45s

Artifacts –

format-check.yml

on: push