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

Merge pull request #8 from informalsystems/soares/update-20240326 #48

Job	Run time
nix-build	47s
	47s

Provide feedback