Skip to content
Check 'do not merge' label

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

Sign in to view logs

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

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

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

check_do_not_merge_label.yml

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