Skip to content
Pre-merge pipeline

[bot] Merge master/9c8dadd7 into rel/dev #888

Sign in to view logs

[bot] Merge master/9c8dadd7 into rel/dev

[bot] Merge master/9c8dadd7 into rel/dev #888

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Collect changes / collect-changes
9s
Python tests / lint-and-format-check
44s
Python tests / unit-tests (py311)
2m 32s
Python tests / unit-tests (py39)
2m 48s
Python tests / unit-tests (py312)
2m 48s
Python tests / types-check
1m 11s
Python tests / unit-tests (py310)
2m 41s
Python tests / unit-tests (py313)
2m 48s
status-check
3s
15m 44s