test(verifier-compatibility): close two margins, and record why the other two cannot - #7

test(verifier-compatibility): close two margins, and record why the other two cannot#7

lywinged merged 1 commit into

mainlywinged/trace-spec:mainfrom

work/116-version-obligationslywinged/trace-spec:work/116-version-obligationsCopy head branch name to clipboard