Kani Performance Benchmarks

Bump tests/perf/s2n-quic from `d8be30e` to `132ba54` (#3516) #598

Sign in to view logs

Triggered via push September 16, 2024 22:25

github-merge-queue[bot]

Status Success

Total duration 56m 59s

Artifacts –

bench.yml

on: push