Skip to content

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

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

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

Triggered via pull request November 1, 2025 14:02
@aignasaignas
synchronize #3385
Status Success
Total duration 5s
Artifacts

check_do_not_merge_label.yml

on: pull_request_target
block-do-not-merge
3s
block-do-not-merge
Fit to window
Zoom out
Zoom in