Skip to content

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

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

Triggered via pull request November 8, 2025 08:36
Status Success
Total duration 26m 6s
Artifacts

test.yml

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