xeppaka/cinnamon-with-restartxxx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Cinnamon with RestartXXX operators

Browse Source
This commit is contained in:
Pavel Kachalouski
2025-03-18 09:13:56 +01:00
commit 915ed96d8e
12 changed files with 187 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
project/project/metals.sbt Normal file
View File

@@ -0,0 +1,14 @@
// format: off
// DO NOT EDIT! This file is auto-generated.
// This plugin enables semantic information to be produced by sbt.
// It also adds support for debugging using the Debug Adapter Protocol
addSbtPlugin("org.scalameta" % "sbt-metals" % "1.5.1")
// This plugin makes sure that the JDI tools are in the sbt classpath.
// JDI tools are used by the debug adapter server.
addSbtPlugin("com.github.sbt" % "sbt-jdi-tools" % "1.2.0")
// format: on