RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard

Published 20 hours ago • verified publisher icon AdaCore

Improve vscode configuration

Open senier opened this issue 2 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