Repository navigation

Change it so that the header files are directly included #12008

Job	Run time
file_format_check	35s
copyright_check	10s
check_integration_test_labels	7s
generated_docs_check	1m 53s
release_notes_check	4s
	2m 49s