CodeQL Security Analysis

feat(proofs/lean4): add V4 Raft consensus safety — single-node commit… #163

Sign in to view logs

Triggered via push April 11, 2026 22:57

main

Status Success

Total duration 1m 29s

Artifacts –

codeql.yml

on: push

Matrix: analyze