Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Merge requests
!176
Verify the ctez contract
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kristina Sojakova
requested to merge
kristina@ctez-rebase-on-comparison
into
dev
Apr 03, 2023
Overview
0
Commits
24
Pipelines
4
Changes
19
Expand
This verifies the ctez contract from the next_next brsanch of checkers.
Merge request reports