Skip to content

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

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

Triggered via pull request November 8, 2025 21:16
Status Success
Total duration 29m 49s
Artifacts

test.yml

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