Discussions

• 2 You must be logged in to vote

  💡

  feature request: add CVE support for dependencies. E.g: show info + add actions

  gacallea started Jul 6, 2024 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🙏

  Neat-looking code action menu

  Andrew15-5 asked Jun 12, 2024 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  How disable WORKSPACE_SECTION_NOT_DEFAULT warning?

  qRoC asked Jan 25, 2024 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  COQ support?

  enhancement New feature or request

  Suyashtnt started Apr 8, 2022 in Ideas · Closed

  

  

  14
• 1 You must be logged in to vote

  🙏

  How to turn "*" into an exact version number?

  IndianBoy42 asked May 27, 2023 in Q&A · Closed · Answered

  

  

  1