Merge pull request #446 from ksahlin/rename-hit #1844

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
externalisal	41s
compare	55s
lint	2s
build (ubuntu-latest)	57s
build (macos-latest)	27s
pythonbindings	43s
	3m 45s