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

Merge pull request #7 from informalsystems/farhad/update-starter #46

Merge pull request #7 from informalsystems/farhad/update-starter

Merge pull request #7 from informalsystems/farhad/update-starter #46

nix-build

succeeded Mar 12, 2024 in 50s