Kani Format Check

Bump tests/perf/s2n-quic from `cb41b35` to `4c3ba69` (#3725) #8917

Sign in to view logs

Triggered via push November 18, 2024 18:14

github-merge-queue[bot]

gh-readonly-queue/main/pr-3725-aab812b76e6ece2842611152a76d298747afb45e

Status Success

Total duration 3m 29s

Artifacts –

format-check.yml

on: push