Skip to content

fix(pip): allow for different extras for different target platforms #5369

fix(pip): allow for different extras for different target platforms

fix(pip): allow for different extras for different target platforms #5369

Triggered via pull request November 1, 2025 16:00
Status Success
Total duration 41s
Artifacts

mypy.yaml

on: pull_request
Fit to window
Zoom out
Zoom in