Presidente da Procore Technologies vende US$ 3,15 milhões em ações