build

[#1079] improvement(CI): Add doc to the lint check for Gravitino #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	3s
build (8)	5m 18s
build (11)	5m 8s
lint-check	0s
build (17)	4m 53s
	15m 22s