Kani Format Check

Bump tests/perf/s2n-quic from `4c3ba69` to `c84ba19` (#3736) #8986

Sign in to view logs

Triggered via push November 25, 2024 19:20

github-merge-queue[bot]

gh-readonly-queue/main/pr-3736-19adf79fccb4868f6854313e7589ea55813265f2

Status Success

Total duration 2m 33s

Artifacts –

format-check.yml

on: push