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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
scan / Hypatia Neurosymbolic Analysis
47s
47s