Skip to content
Hypatia Security Scan

fix(stdlib): single-ownership dedup of prelude/option/result (#133) (… #327

Sign in to view logs

fix(stdlib): single-ownership dedup of prelude/option/result (#133) (…

fix(stdlib): single-ownership dedup of prelude/option/result (#133) (… #327

Triggered via push May 17, 2026 05:52
@hyperpolymathhyperpolymath
pushed 63ade78
main
Status Cancelled
Total duration 15m 29s
Artifacts –

hypatia-scan.yml

on: push
Hypatia Neurosymbolic Analysis
15m 27s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Hypatia Neurosymbolic Analysis
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/heads/main exists
Hypatia Security Scan
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/heads/main exists