fix: problems with build and json

Dockerfile

@@ -20,6 +20,6 @@ ENV LEAN_CC "clang++"
 RUN lake update
 RUN lake build rinha
 
-COPY build/bin/rinha /app/rinha
+RUN cp build/bin/rinha /app/rinha
 
 ENTRYPOINT ["/app/entrypoint.sh"]

Rinha/Entities/Person.lean

@@ -87,7 +87,7 @@ instance : Ash.ToJSON Person where
 instance : FromJSON Person where
   fromJSON json := do
     let username  ← json.find? "apelido" >>= String.toUsername?
-    let name      ← json.find? "name"     >>= String.toName?
+    let name      ← json.find? "nome"    >>= String.toName?
     let birthdate ← json.find? "nascimento"
     let stack     ← json.find? "stack"
     return {id := "", username, name, birthdate, stack }

lake-manifest.json

@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/aripiprazole/pgsql.git",
     "subDir?": null,
-    "rev": "c41f494eb99f3e93017a7e2e590436b57938c638",
+    "rev": "ec5dd41b4db120d2339480fef2849c1a8321489d",
     "name": "pgsql",
     "inputRev?": null}},
   {"git":
@@ -34,6 +34,6 @@
   {"git":
    {"url": "https://github.com/algebraic-sofia/ash.git",
     "subDir?": null,
-    "rev": "96f116c4bf09a2994d7f5efaa45acec7ab9b687b",
+    "rev": "c8b6157f63721bf45ab80d3dd61f9f5300f6f02d",
     "name": "ash",
     "inputRev?": null}}]}