Kani Format Check

Autoharness Subcommand (#3874) #9543

Sign in to view logs

Triggered via push February 11, 2025 16:51

github-merge-queue[bot]

main

Status Success

Total duration 3m 32s

Artifacts –

format-check.yml

on: push