CodeQL

consistency proof: fix edge case with 0 sized tree #98

Sign in to view logs

Triggered via pull request June 17, 2026 10:49

phbnf

opened #9

edgecase

Status Success

Total duration 1m 9s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: Analyze