File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -240,7 +240,7 @@ jobs:
240240
241241 # Install ucm
242242 mkdir ucm
243- curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.37 /ucm-linux-x64.tar.gz | tar -xz -C ucm
243+ curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.39 /ucm-linux-x64.tar.gz | tar -xz -C ucm
244244 export PATH=$PWD/ucm:$PATH
245245
246246 # Clean up old postgres data if it exists.
Original file line number Diff line number Diff line change 11{
22 "body" : {
33 "fqn" : " " ,
4- "hash" : " #34b51bsm64scnf35oabtclj2rhlaoebb4i7odeag5nt72mhrjog3d15eusssigfphsg4fjc9n0m7m2el05r992qrqveqghkm9eatas8 " ,
4+ "hash" : " #id0mnfuijmfqpafkit9lasdist5gjugute8ktn5lth5h7a3kr9putn0ghcdv86nq7vkdidrv7uknuolkuflmtvcr95okq2qd59v46ao " ,
55 "readme" : null
66 },
77 "status" : [
Original file line number Diff line number Diff line change 26932693 "tag" : " ok"
26942694 },
26952695 "newRef" : " diff-end" ,
2696- "newRefHash" : " #f2bjgi4tm53bf6dcfcukt5a6as3ktlrbiacnqq81nco8i4g7dg6pt14vmc1b7ulsb7rt683qjt2rvg9u92uo5mk1gaqgo8cl30umep8 " ,
2696+ "newRefHash" : " #11ee6r6sr067s4q8opudo0ppnrljo9o0m4d8si48f8jmksneqp4ggn37dqcrsbfs7ghhc59rr7si57curqed9h01n7nelidtk9ebnc8 " ,
26972697 "oldRef" : " diff-start" ,
2698- "oldRefHash" : " #f8nji6tc2vaorc7gl8kjdmj8ucrht674blmb586iptgsa8v1pm8ovjplc4an2voirvlip91ick9g5mjkncsmr8sadaqqf8810eskbig " ,
2698+ "oldRefHash" : " #k8omcba5117khsm5s9r4gifjqcn5m0ainc855333kcpc6s4idp8ckdibe08sndjkq53naus93ijotblu0h0eeaqsb7gabj97fpavuko " ,
26992699 "project" : " @transcripts/contribution-diff" ,
27002700 "tag" : " done"
27012701 },
Original file line number Diff line number Diff line change 26932693 "tag" : " ok"
26942694 },
26952695 "newRef" : " diff-end" ,
2696- "newRefHash" : " #f2bjgi4tm53bf6dcfcukt5a6as3ktlrbiacnqq81nco8i4g7dg6pt14vmc1b7ulsb7rt683qjt2rvg9u92uo5mk1gaqgo8cl30umep8 " ,
2696+ "newRefHash" : " #11ee6r6sr067s4q8opudo0ppnrljo9o0m4d8si48f8jmksneqp4ggn37dqcrsbfs7ghhc59rr7si57curqed9h01n7nelidtk9ebnc8 " ,
26972697 "oldRef" : " diff-start" ,
2698- "oldRefHash" : " #f8nji6tc2vaorc7gl8kjdmj8ucrht674blmb586iptgsa8v1pm8ovjplc4an2voirvlip91ick9g5mjkncsmr8sadaqqf8810eskbig " ,
2698+ "oldRefHash" : " #k8omcba5117khsm5s9r4gifjqcn5m0ainc855333kcpc6s4idp8ckdibe08sndjkq53naus93ijotblu0h0eeaqsb7gabj97fpavuko " ,
26992699 "project" : " @transcripts/contribution-diff" ,
27002700 "tag" : " done"
27012701 },
Original file line number Diff line number Diff line change @@ -48,7 +48,7 @@ Push and pull it back.
4848``` ucm
4949proj/main> push @transcripts/proj/main
5050
51- Uploaded 361 entities.
51+ Uploaded 364 entities.
5252
5353 I just created @transcripts/proj on http://localhost:5424
5454
@@ -74,7 +74,7 @@ proj/pulled> ls
7474 4. B/ (2 terms)
7575 5. a ('Nat)
7676 6. b ('Nat)
77- 7. builtin/ (471 terms, 75 types)
77+ 7. builtin/ (476 terms, 76 types)
7878 8. xs (['{g} Nat])
7979 9. ys ([Nat])
8080```
You can’t perform that action at this time.
0 commit comments