Skip to content
Hypatia Security Scan

feat(#92): widths need not agree for ==, and match arms join on wid… #244

Sign in to view logs

feat(#92): widths need not agree for ==, and match arms join on wid…

feat(#92): widths need not agree for ==, and match arms join on wid… #244

Triggered via push July 29, 2026 01:20
@hyperpolymathhyperpolymath
pushed 478857f
main
Status Success
Total duration 1m 59s
Artifacts 1

hypatia-scan.yml

on: push
scan  /  Hypatia Neurosymbolic Analysis
47s
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:059f7c2efb09b77b1a4a4da088f8285a3c3b5a208d456a19ebb8ff76d70e5855