Proofs

cmake: use fine-grained UBsan suppressions in Lua #67

Sign in to view logs

Triggered via push April 1, 2026 17:57

ligurio

ligurio/gh-xxxx-fine-grained-ubsan-supp

Status Success

Total duration 24s

Artifacts –

proofs.yaml

on: push

Matrix: cbmc