diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dd38e89a6ae4b8b7d4c602441285a36f46f83c89..2083973caf804b6daca8b29eba1ee80986f28892 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,10 +8,11 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: Set up JDK 
-        uses: actions/setup-java@v1
+        uses: actions/setup-java@v4
         with:
+          distribution: temurin
           java-version: 17
       - name: Compile
         run: sbt compile
diff --git a/CHANGES.md b/CHANGES.md
index 537835d1055933c1e397d620ce85c089363e10b4..017e98d1ed54b9f7716e624e182774aaefc043bb 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,10 @@
 # Change List
 
 ## 2024-10-04
+Bump version to 0.7.
+Update sbt to 1.10.1.
+Move `scallion` and `silex` to depend on jars via GitHub releases instead of cloning and compiling locally.
+Tests now fork the jvm and use jvm options correctly, which also removes the relevant warning during testing.
 Repair two broken tests, small improvements to congruence tactic.
 
 ## 2024-10-03
diff --git a/build.sbt b/build.sbt
index d0acb6d18118742daac42561313c96992e706651..4a3136c1393265fad5332af32e0f25ef715f37b4 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,4 +1,4 @@
-ThisBuild / version      := "0.6"
+ThisBuild / version      := "0.7"
 ThisBuild / homepage := Some(url("https://github.com/epfl-lara/lisa"))
 ThisBuild / startYear := Some(2021)
 ThisBuild / organization := "ch.epfl.lara"
@@ -38,7 +38,8 @@ val commonSettings3 = commonSettings ++ Seq(
   javaOptions += "-Xmx10G",
   libraryDependencies += "org.scalatest" %% "scalatest" % "3.2.18" % "test",
   libraryDependencies += "com.lihaoyi" %% "sourcecode" % "0.4.1",
-  Test / parallelExecution := false
+  Test / parallelExecution := false,
+  Test / fork := true
 )
 
 def withTests(project: Project): ClasspathDependency =
@@ -46,16 +47,8 @@ def withTests(project: Project): ClasspathDependency =
 
 def githubProject(repo: String, commitHash: String) = RootProject(uri(s"$repo#$commitHash"))
 
-lazy val scallion = githubProject("https://github.com/sankalpgambhir/scallion.git", "6434e21bd08872cf547c8f0efb67c963bfdf4190")
-
-lazy val silex = githubProject("https://github.com/epfl-lara/silex.git", "fc07a8670a5fa8ea2dd5649a00424710274a5d18")
 lazy val customTstpParser = githubProject("https://github.com/SimonGuilloud/scala-tptp-parser.git", "eae9c1b7a9546f74779d77ff50fa6e8a1654cfa0")
 
-scallion/scalacOptions ~= (_.filterNot(Set("-Wvalue-discard")))
-scallion/scalacOptions += "-Wconf:any:silent"
-
-silex/scalacOptions ~= (_.filterNot(Set("-Wvalue-discard")))
-
 lazy val root = Project(
     id = "lisa",
     base = file("."),
@@ -86,11 +79,11 @@ lazy val utils = Project(
   id = "lisa-utils",
   base = file("lisa-utils")
 )
-
-  .settings(commonSettings3)
+  .settings(commonSettings3 ++ Seq(
+    libraryDependencies += "ch.epfl.lara" %% "scallion" % "0.6" from "https://github.com/epfl-lara/scallion/releases/download/v0.6/scallion_3-0.6.jar",
+    libraryDependencies += "ch.epfl.lara" %% "silex" % "0.6" from "https://github.com/epfl-lara/silex/releases/download/v0.6/silex_3-0.6.jar",
+  ))
   .dependsOn(kernel)
-  .dependsOn(silex)
-  .dependsOn(scallion % "compile->compile")
   .dependsOn(customTstpParser)
   //.settings(libraryDependencies += "io.github.leoprover" % "scala-tptp-parser_2.13" % "1.4")
 
diff --git a/project/build.properties b/project/build.properties
index 3116db2168299d2222f2419e90a1550e2cc29a20..914cbb422c50ad4df3d33fb7be7ff8a5e9684698 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1,2 +1,2 @@
 
-sbt.version = 1.9.9
+sbt.version = 1.10.1