Skip to content
Hypatia Security Scan

fix(typecheck): infer Ref<T> kind as arity-1 ctor (#135 slice 10) (#167) #359

Sign in to view logs

fix(typecheck): infer Ref<T> kind as arity-1 ctor (#135 slice 10) (#167)

fix(typecheck): infer Ref<T> kind as arity-1 ctor (#135 slice 10) (#167) #359

Triggered via push May 18, 2026 00:19
@hyperpolymathhyperpolymath
pushed 44c0644
main
Status Cancelled
Total duration 13m 44s
Artifacts –

hypatia-scan.yml

on: push
Hypatia Neurosymbolic Analysis
13m 42s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

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