Kani Format Check

Remove symtab json support (#3695) #8772

Sign in to view logs

Triggered via push November 8, 2024 01:38

github-merge-queue[bot]

gh-readonly-queue/main/pr-3695-9b2bbd38ad4cbd1f4aa662b5bf308bae90bb9c70

Status Success

Total duration 2m 33s

Artifacts –

format-check.yml

on: push