Skip to content

Draft: mock the contract - #77

Open
clarus wants to merge 1 commit into
marinade-finance:mainfrom
formal-land:guillaume-claret@make-mock-contract-version
Open

Draft: mock the contract#77
clarus wants to merge 1 commit into
marinade-finance:mainfrom
formal-land:guillaume-claret@make-mock-contract-version

feat: compile in the same version as coq-of-rust

aa5023c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs