Proofs

cmake: enable debug in bundled LuaJIT #78

Sign in to view logs

Triggered via push April 8, 2026 11:15

ligurio

ligurio/gh-xxxx-disable-detect_leaks-lua

Status Success

Total duration 41s

Artifacts –

proofs.yaml

on: push

Matrix: cbmc