File tree Expand file tree Collapse file tree 5 files changed +8
-8
lines changed
Expand file tree Collapse file tree 5 files changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -238,7 +238,7 @@ jobs:
238238
239239 # Install ucm
240240 mkdir ucm
241- curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.45 /ucm-linux-x64.tar.gz | tar -xz -C ucm
241+ curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.47 /ucm-linux-x64.tar.gz | tar -xz -C ucm
242242 export PATH=$PWD/ucm:$PATH
243243
244244 # Start share and it's dependencies in the background
Original file line number Diff line number Diff line change 11{
22 "body" : {
33 "fqn" : " " ,
4- "hash" : " #atdvemjjjgksnq8t3cv420dlusb37r21349m7nglli3r8n1d5q063s8cn0aravas8dt1ofuu9t0ge5civ11begb43meo339t498aj7g " ,
4+ "hash" : " #69sktmjiq1tc5tkvfs42676goeqbrlfq5edldkivupc0ene9qldekcm82njkfq1sfnjlqjcnrm8s93fr2l1rviqqospgv7clm4s7j0o " ,
55 "readme" : null
66 },
77 "status" : [
Original file line number Diff line number Diff line change 22632263 "tag" : " ok"
22642264 },
22652265 "newRef" : " diff-end" ,
2266- "newRefHash" : " #j34aadhp37a5fhfbph4hc7i0pp7nlr48otdbapdue4kgmtt3e63evn2p46um4il8q45ltqu4msms93a34ptkhpjlctto2il89sd47u8 " ,
2266+ "newRefHash" : " #mp56hc03pe7b45crm3c68nb3qe8oima96q2kujcgmu995kp23i19eur1taej3dceiu3h4p7iihk02f4671hm72afc88eg3hc881vb40 " ,
22672267 "oldRef" : " diff-start" ,
2268- "oldRefHash" : " #slt6ihj3f9r5eavshflld6q5gkjq2fc42f5vpco02u2mp7els39k0ai630eqncbpihosroutg8km6cf4t922h445vki1ofe4hsl24ig " ,
2268+ "oldRefHash" : " #n0i9eikbai766m5v3h8pj95ca8iocmkvk8aer6ush1eusf4tcn32ctepdr8mjr90f44gtb9vn0vf4s3ur2jf62ta92flv21rigvc4v8 " ,
22692269 "project" : " @transcripts/contribution-diff" ,
22702270 "tag" : " done"
22712271 },
Original file line number Diff line number Diff line change 22632263 "tag" : " ok"
22642264 },
22652265 "newRef" : " diff-end" ,
2266- "newRefHash" : " #j34aadhp37a5fhfbph4hc7i0pp7nlr48otdbapdue4kgmtt3e63evn2p46um4il8q45ltqu4msms93a34ptkhpjlctto2il89sd47u8 " ,
2266+ "newRefHash" : " #mp56hc03pe7b45crm3c68nb3qe8oima96q2kujcgmu995kp23i19eur1taej3dceiu3h4p7iihk02f4671hm72afc88eg3hc881vb40 " ,
22672267 "oldRef" : " diff-start" ,
2268- "oldRefHash" : " #slt6ihj3f9r5eavshflld6q5gkjq2fc42f5vpco02u2mp7els39k0ai630eqncbpihosroutg8km6cf4t922h445vki1ofe4hsl24ig " ,
2268+ "oldRefHash" : " #n0i9eikbai766m5v3h8pj95ca8iocmkvk8aer6ush1eusf4tcn32ctepdr8mjr90f44gtb9vn0vf4s3ur2jf62ta92flv21rigvc4v8 " ,
22692269 "project" : " @transcripts/contribution-diff" ,
22702270 "tag" : " done"
22712271 },
Original file line number Diff line number Diff line change @@ -45,7 +45,7 @@ Push and pull it back.
4545``` ucm
4646proj/main> push @transcripts/proj/main
4747
48- Uploaded 443 entities.
48+ Uploaded 457 entities.
4949
5050 I just created @transcripts/proj on http://localhost:5424
5151
@@ -71,7 +71,7 @@ proj/pulled> ls .
7171 4. B/ (2 terms)
7272 5. a ('Nat)
7373 6. b ('Nat)
74- 7. builtin/ (582 terms, 100 types)
74+ 7. builtin/ (609 terms, 101 types)
7575 8. xs (['{g} Nat])
7676 9. ys ([Nat])
7777```
You can’t perform that action at this time.
0 commit comments