Skip to content

fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (… #254

fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (…

fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (… #254

Triggered via push July 29, 2026 06:54
Status Success
Total duration 39s
Artifacts 1

hypatia-scan.yml

on: push
scan  /  Hypatia Neurosymbolic Analysis
28s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.36 KB
sha256:3ab5368255ed2f0c6d02f9d90a0e7b74a61cceb9df8a1f0e87ff42a5949756e3