Linux

Merge pull request #2373 from digit-google/document-manual-generation #1151

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build	4m 23s
Build Linux ARM64	9m 49s
build-with-python (ubuntu:14.04)	43s
test	50m 11s
build-with-python (ubuntu:16.04)	47s
build-with-python (ubuntu:18.04)	49s
	1h 6m 42s