Skip to content

Commit 39c5181

Browse files
committed
[ fix ] Remove hardcoded version assertions in fromCommands test
1 parent e41021c commit 39c5181

File tree

2 files changed

+4
-13
lines changed

2 files changed

+4
-13
lines changed

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

Lines changed: 1 addition & 7 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

test/tests/Test__Connection.res

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -939,13 +939,10 @@ describe_only("Connection", () => {
939939

940940
switch result {
941941
| Ok(connection) =>
942-
// Should connect to agda (first valid command)
942+
// Should connect to agda (first valid command) - version varies by environment
943943
switch connection {
944-
| Agda(_, _path, version) =>
945-
Assert.deepStrictEqual(version, "2.7.0.1-a6fc20c")
946-
| ALS(_, _path, (alsVersion, agdaVersion, _)) =>
947-
Assert.deepStrictEqual(alsVersion, "1.4.0")
948-
Assert.deepStrictEqual(agdaVersion, "2.7.0.1-a6fc20c")
944+
| Agda(_, _path, _version) => ()
945+
| ALS(_, _path, _) => ()
949946
}
950947
| Error(_) => Assert.fail("Expected successful connection to valid command")
951948
}

0 commit comments

Comments
 (0)