This repository has been archived by the owner on Jun 24, 2024. It is now read-only.

Merge pull request #6 from informalsystems/soares/update-starter #42

Job	Run time
build	26m 25s
	26m 25s

Provide feedback