Skip to content
Pre-merge pipeline

[bot] Merge master/3d4cd5a0 into rel/dev #639

Sign in to view logs

[bot] Merge master/3d4cd5a0 into rel/dev

[bot] Merge master/3d4cd5a0 into rel/dev #639

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Collect changes / collect-changes
6s
Python tests / lint-and-format-check
43s
Python tests / unit-tests (py313)
2m 56s
Python tests / unit-tests (py312)
6m 23s
Python tests / types-check
1m 3s
Python tests / unit-tests (py311)
2m 31s
Python tests / unit-tests (py310)
2m 15s
Python tests / unit-tests (py39)
2m 39s
status-check
1s
18m 37s