proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #427
Triggered via pull request
May 21, 2026 09:17
hyperpolymath
Status
Cancelled
Total duration
3h 51m 59s
Artifacts
–
hypatia-scan.yml
on: pull_request
Hypatia Neurosymbolic Analysis
3h 51m
Annotations
2 errors
|
Hypatia Neurosymbolic Analysis
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/pull/82/merge exists
|
|
Hypatia Security Scan
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/pull/82/merge exists
|