CI

Merge pull request #476 from ksahlin/mcs-rescue #1984

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
externalisal	51s
compare	1m 54s
build (ubuntu-latest)	39s
lint	2s
build (macos-latest)	30s
pythonbindings	37s
	4m 33s