CI

Merge pull request #137 from bvanassche/master #267

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (gcc, x86_64)	4s
check	3m 20s
build (gcc, x86)	18s
build (clang, x86_64)	6s
build (clang, x86)	27s
	4m 15s