Skip to content

fix: prevent incorrect merge of content-identical lines across non-monotonic crossings #85

fix: prevent incorrect merge of content-identical lines across non-monotonic crossings

fix: prevent incorrect merge of content-identical lines across non-monotonic crossings #85

Triggered via pull request July 30, 2026 20:51
Status Skipped
Total duration 1s
Artifacts

auto-merge.yml

on: pull_request
dependabot-auto-merge
dependabot-auto-merge
Fit to window
Zoom out
Zoom in