Kani Format Check

Bump s2n-quic submodule #376

Sign in to view logs

Triggered via push July 24, 2024 14:03

tautschnig

cbmc-6

Status Success

Total duration 4m 54s

Artifacts –

format-check.yml

on: push