Skip to content

Add a new dependency group called dev and add pip-tools to it. #19712

Add a new dependency group called dev and add pip-tools to it.

Add a new dependency group called dev and add pip-tools to it. #19712

Triggered via pull request December 11, 2025 06:18
Status Success
Total duration 27m 26s
Artifacts

test.yml

on: pull_request
Test mypyc suite with 32-bit Python
9m 16s
Test mypyc suite with 32-bit Python
Matrix: main
Fit to window
Zoom out
Zoom in