Merge pull request #1027 from daniel-larraz/thread-exit #444

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (ubuntu-20.04, 4.09.1)	9m 29s
kind2-build (macos-11, 4.09.1)	15m 16s
	24m 45s