CI

Merge pull request #154 from bvanassche/master #338

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
check	4m 14s
build (gcc, x86_64)	7s
build (gcc, x86)	25s
build (clang, x86_64)	6s
build (clang, x86)	25s
	5m 17s