test(extension): verify extension lifecycle activation, command registration, and cleanup - #45

test(extension): verify extension lifecycle activation, command registration, and cleanup#45

waleedcodes merged 3 commits into

workingwaleedcodes/proofcode:workingfrom

pr-45-tests-extension-testwaleedcodes/proofcode:pr-45-tests-extension-testCopy head branch name to clipboard