Skip to content

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

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. #19705

Triggered via pull request December 10, 2025 22:14
Status Success
Total duration 27m 11s
Artifacts

test.yml

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