test(codelens): verify inline editor CodeLens generation for changed symbols - #42

test(codelens): verify inline editor CodeLens generation for changed symbols#42

waleedcodes merged 3 commits into

workingwaleedcodes/proofcode:workingfrom

pr-42-tests-codeLensProvider-testwaleedcodes/proofcode:pr-42-tests-codeLensProvider-testCopy head branch name to clipboard