Skip to content
Hypatia Security Scan

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

Sign in to view logs

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

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

Triggered via pull request July 29, 2026 01:18
@hyperpolymathhyperpolymath
opened #95
feat/width-widening-92
Status Success
Total duration 56s
Artifacts 1

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
52s
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:522e81b66e0416d47cbe96a1bcc928b5f650e06df997ab8f6c1ddfb2c5ffbcc5