Repository navigation

Add boost-module package from https://github.com/ZheFeng7110/boost-module #1371

Job	Run time
select	12s
lint	13s
graphics install: no side effects on unrelated members	3m 30s
mirror-cn-reachable	16s
workspace (linux llvm 0/4)	1m 57s
workspace (windows default 0/1)	44s
workspace (linux llvm 2/4)	53s
workspace (macos default 0/1)	40s
workspace (linux llvm 1/4)	1m 12s
workspace (linux default 0/1)	38s
workspace (linux llvm 3/4)	1m 0s
timings	7s
full sweep failed — open an issue	0s
	11m 22s