Remove unneeded binaries from ci script. (#172)
Remove unneeded binaries from ci script. (#172)


pierricgimmig/orbitprofiler,google/orbit,google/orbit,pierricgimmig/orbitprofiler,google/orbit,pierricgimmig/orbitprofiler,google/orbit,pierricgimmig/orbitprofiler