Skip to content
Hypatia Security Scan

feat: sound module-qualified type & effect paths, dot separator (Refs #228) #440

Sign in to view logs

feat: sound module-qualified type & effect paths, dot separator (Refs #228)

feat: sound module-qualified type & effect paths, dot separator (Refs #228) #440

Triggered via pull request May 18, 2026 22:32
@hyperpolymathhyperpolymath
opened #231
stage-c/228-qualified-type-effect-path
Status Cancelled
Total duration 12m 16s
Artifacts –

hypatia-scan.yml

on: pull_request
Hypatia Neurosymbolic Analysis
12m 14s
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/pull/231/merge exists
Hypatia Security Scan
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/pull/231/merge exists