prusti-assistant icon indicating copy to clipboard operation
prusti-assistant copied to clipboard
verified publisher icon viperproject

Update VS Code to 1.105.1

Open viper-admin opened this issue 1 year ago • 0 comments

  • Update VS Code version used in tests to 1.105.1.

viper-admin avatar May 01 '24 07:05 viper-admin