Skip to content
CodeQL Security Analysis

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #479

Sign in to view logs

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword)

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #479

Triggered via pull request May 21, 2026 13:09
@hyperpolymathhyperpolymath
synchronize #82
proof-debt/xml744-document-core-discharge
Status Success
Total duration 11h 16m 51s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
analyze (javascript-typescript, none)
The process '/usr/bin/git' failed with exit code 128
analyze (javascript-typescript, none)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
analyze (javascript-typescript, none)
Error retrieving diff main...hyperpolymath:proof-debt/xml744-document-core-discharge: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits