CI

make sure we're using the right allocator #703

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	1m 35s
Build (c)	2m 30s
Build (java)	23m 9s
Build (rust)	3m 36s
Build (python)	4m 36s
Build (cpp)	5m 11s
	40m 37s