Proofs

Revert "ci: use self-hosted GHA runner" #58

Sign in to view logs

Triggered via push March 31, 2026 12:33

ligurio

ligurio/gh-xxxx-disable-detect_leaks-lua

Status Success

Total duration 21s

Artifacts –

proofs.yaml

on: push

Matrix: cbmc