Skip to content
Secret Scanner

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

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) #441

Triggered via pull request May 21, 2026 09:17
@hyperpolymathhyperpolymath
opened #82
proof-debt/xml744-document-core-discharge
Status Cancelled
Total duration 3h 52m 0s
Artifacts –

secret-scanner.yml

on: pull_request
trufflehog
3h 51m
trufflehog
gitleaks
3h 51m
gitleaks
rust-secrets
3h 51m
rust-secrets
Fit to window
Zoom out
Zoom in

Annotations

4 errors
rust-secrets
Canceling since a higher priority waiting request for Secret Scanner-refs/pull/82/merge exists
gitleaks
Canceling since a higher priority waiting request for Secret Scanner-refs/pull/82/merge exists
trufflehog
Canceling since a higher priority waiting request for Secret Scanner-refs/pull/82/merge exists
Secret Scanner
Canceling since a higher priority waiting request for Secret Scanner-refs/pull/82/merge exists