Repository navigation

Dependabot Auto-Merge

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

Sign in to view logs

Triggered via pull request July 29, 2026 01:18

opened #95

feat/width-widening-92

Status Skipped

Total duration 1s

Artifacts –

dependabot-automerge.yml

on: pull_request