Kani Format Check

Upgrade `tracing` dependency (#2834) #5381

Sign in to view logs

Triggered via push October 23, 2023 16:18

Status Success

Total duration 4m 33s

Artifacts –

format-check.yml

on: push