Skip to content
mypy

fix: correctly merge conflicting paths when files (instead of dirs) are being linked #5660

Sign in to view logs

fix: correctly merge conflicting paths when files (instead of dirs) are being linked

fix: correctly merge conflicting paths when files (instead of dirs) are being linked #5660

Triggered via pull request December 14, 2025 20:21
@rickeylevrickeylev
synchronize #3458
rickeylev:fix.conflict.merging.files
Status Success
Total duration 45s
Artifacts –

mypy.yaml

on: pull_request
ci
38s
ci
Fit to window
Zoom out
Zoom in