Proofs

cmake: introduce DISABLE_LIBFUZZER_STATIC_LINKAGE #74

Sign in to view logs

Triggered via push April 7, 2026 13:38

ligurio

ligurio/gh-xxxx-libfuzzer-static

Status Success

Total duration 33s

Artifacts –

proofs.yaml

on: push

Matrix: cbmc