Protect accesses to the data info and arena. #152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Type=Debug shared=OFF	1m 49s
Type=Debug shared=ON	50s
Type=Release shared=ON	2m 39s
	5m 18s