Merge pull request #96 from maurerle/improve_distributed_clock #96

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.8)	57s
build (3.9)	1m 4s
build (3.10)	59s
build (3.11)	1m 18s
build (3.12)	1m 2s
	5m 20s