RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard
verified publisher icon AdaCore

Improve vscode configuration

Open senier opened this issue 3 years ago • 0 comments

  • support most of our usual checkers
  • use pytests -n auto switch instead of nproc
  • remove launch configuration (didn't seem to be very helpful)

senier avatar Aug 31 '22 14:08 senier