Skip to content

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

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 #215

Triggered via pull request July 29, 2026 01:18
Status Success
Total duration 49s
Artifacts

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in