CodeQL

Update tla/consensus/ccfraft.tla #2583

Sign in to view logs

Triggered via push January 5, 2024 16:00

lemmy

main

Status Failure

Total duration 2m 13s

Artifacts –

codeql-analysis.yml

on: push

Matrix: Analyze

Annotations

1 error

Analyze (cpp)

Process completed with exit code 2.