compare test pass

2023-06-20 18:26:59 +08:00
parent 1bc7d68af8
commit ac7db49089
10 changed files with 1080 additions and 186 deletions
--- a/.metals/metals.lock.db
+++ b/.metals/metals.lock.db
@@ -1,6 +1,6 @@
 #FileLock
-#Sun Jun 18 13:05:58 UTC 2023
-server=localhost\:43909
+#Tue Jun 20 09:28:51 IRKT 2023
 hostName=localhost
+id=188d66b3b3748481f5b9d61add429f6624c89a575b9
 method=file
-id=188ce9cbab0d7600f0e447af9df2123be91298d838e
+server=localhost\:58608
--- a/.metals/metals.mv.db
+++ b/.metals/metals.mv.db