Skip to content
Pre-merge pipeline

[bot] Merge master/7f747008 into rel/dev #586

Sign in to view logs

[bot] Merge master/7f747008 into rel/dev

[bot] Merge master/7f747008 into rel/dev #586

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Collect changes / collect-changes
6s
Python tests / lint-and-format-check
34s
Python tests / unit-tests (py313)
3m 4s
Python tests / types-check
1m 8s
Python tests / unit-tests (py312)
6m 7s
Python tests / unit-tests (py311)
2m 22s
Python tests / unit-tests (py310)
2m 19s
Python tests / unit-tests (py39)
2m 40s
status-check
1s
18m 21s