Skip to content
Back to pull request #12459

Prefer closest conflicting causes when backtracking #4873

Sign in to view logs

Prefer closest conflicting causes when backtracking

Prefer closest conflicting causes when backtracking #4873

Triggered via pull request January 15, 2024 18:57
@notatallshawnotatallshaw
synchronize #12459
notatallshaw:prefer-conflicting-causes
Status Success
Total duration 18s
Artifacts –

news-file.yml

on: pull_request
news entry
10s
news entry
Fit to window
Zoom out
Zoom in