Skip to content
mypy

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

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

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

mypy.yaml

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