proof(xml-7-44): discharge Xml744.Attribute proof debts · hyperpolymath/developer-ecosystem@8355f1e

Triggered via pull request May 21, 2026 13:09

synchronize #80

Status Success

Total duration 11h 19m 59s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze

3 warnings

The process '/usr/bin/git' failed with exit code 128

Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.

Error retrieving diff main...hyperpolymath:proof-debt/xml744-attribute-discharge: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits