proof(xml-7-44): make Xml744.Escape.exfiltrate provably total · hyperpolymath/developer-ecosystem@5157bba

Triggered via pull request May 21, 2026 08:20

opened #79

Status Success

Total duration 15h 53m 35s

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-escape-totality: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits