[ fix #255 ] Remove incorrect config modification expectations from fromDownloads tests

Author: banacorn

lib/js/test/tests/Connection/Test__Connection__Config.bs.js

@@ -15,7 +15,7 @@ open Test__Util
 // └── UI-triggered additions
 //     └── Switch version UI selection → should add selected path to config
 
-describe_only("Config.Connection paths", () => {
+describe("Config.Connection paths", () => {
   let userAgda = ref("")
   let systemAgda = ref("")
   let brokenAgda = ref("/broken/agda")

lib/js/test/tests/Test__Connection.bs.js

@@ -716,11 +716,6 @@ describe("Connection", () => {
 
         let policy = Config.Connection.DownloadPolicy.get()
         Assert.deepStrictEqual(policy, Config.Connection.DownloadPolicy.Yes)
-
-        // Check that the filesystem path was added to config (not the URI path)
-        let paths = Config.Connection.getAgdaPaths()
-        let expectedPath = mockEndpoint
-        Assert.ok(paths->Array.includes(expectedPath))
       },
     )
 
@@ -769,11 +764,6 @@ describe("Connection", () => {
 
         let policy = Config.Connection.DownloadPolicy.get()
         Assert.deepStrictEqual(policy, Config.Connection.DownloadPolicy.Yes)
-
-        // Check that the filesystem path was added to config (not the URI path)
-        let paths = Config.Connection.getAgdaPaths()
-        let expectedPath = mockEndpoint
-        Assert.ok(paths->Array.includes(expectedPath))
       },
     )