Skip to content

Improve build time. Add a new header file holding trivial typedefs instead of using types.hpp #5318

Improve build time. Add a new header file holding trivial typedefs instead of using types.hpp

Improve build time. Add a new header file holding trivial typedefs instead of using types.hpp #5318

Triggered via pull request April 5, 2026 15:33
Status Success
Total duration 7s
Artifacts
check_labels
3s
check_labels
Fit to window
Zoom out
Zoom in