Skip to content
Run mypy_primer

Experiment: what happens if we just remove the second overload of dict.pop? #21508

Sign in to view logs

Experiment: what happens if we just remove the second overload of dict.pop?

Experiment: what happens if we just remove the second overload of dict.pop? #21508

Triggered via pull request January 19, 2026 16:31
@randolf-scholzrandolf-scholz
opened #15303
randolf-scholz:dict_pop_remove_overload
Status Success
Total duration 7m 21s
Artifacts 1

mypy_primer.yml

on: pull_request
Matrix: Run
Join artifacts
6s
Join artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mypy_primer_diffs
3.27 KB
sha256:ba57c2ebb7d1fac70f9425290e6885cfabdd1844454ba2e28d235104a6169d7d