Skip to content

Commit 393dccd

Browse files
re-run transcripts with ucm-0.5.45
1 parent 2a911f6 commit 393dccd

File tree

5 files changed

+6
-10
lines changed

5 files changed

+6
-10
lines changed

transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
"body": {
33
"fqn": "",
4-
"hash": "#hjj7spb37rsmv6eojjite9l0eomq9m85gnrnt8oiuvta41rr28sj239tib8b7qhk87hnm560fikbtb1heou3epvrq5118ej5thk3hs0",
4+
"hash": "#atdvemjjjgksnq8t3cv420dlusb37r21349m7nglli3r8n1d5q063s8cn0aravas8dt1ofuu9t0ge5civ11begb43meo339t498aj7g",
55
"readme": null
66
},
77
"status": [

transcripts/share-apis/contribution-diffs/contribution-diff.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2263,9 +2263,9 @@
22632263
"tag": "ok"
22642264
},
22652265
"newRef": "diff-end",
2266-
"newRefHash": "#lau4pa7q7ul1ub9m0f13kg3soqjmdsu173n9j36a7u0t6hp81kmfqgfv3pm0tp6i0kjb80ae1bb4a2eo3aa6c7jscqgin3rati2t0t0",
2266+
"newRefHash": "#j34aadhp37a5fhfbph4hc7i0pp7nlr48otdbapdue4kgmtt3e63evn2p46um4il8q45ltqu4msms93a34ptkhpjlctto2il89sd47u8",
22672267
"oldRef": "diff-start",
2268-
"oldRefHash": "#vu2ddn75mpvl8jv01c4tnmvddm8e2q1e2nb9qj2c6qb0j3dl6har1v07l3vmm18ap1p0qos9pgo82f19enaboighed7bnal6t7jcumo",
2268+
"oldRefHash": "#slt6ihj3f9r5eavshflld6q5gkjq2fc42f5vpco02u2mp7els39k0ai630eqncbpihosroutg8km6cf4t922h445vki1ofe4hsl24ig",
22692269
"project": "@transcripts/contribution-diff",
22702270
"tag": "done"
22712271
},

transcripts/share-apis/contribution-diffs/namespace-diff.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2263,9 +2263,9 @@
22632263
"tag": "ok"
22642264
},
22652265
"newRef": "diff-end",
2266-
"newRefHash": "#lau4pa7q7ul1ub9m0f13kg3soqjmdsu173n9j36a7u0t6hp81kmfqgfv3pm0tp6i0kjb80ae1bb4a2eo3aa6c7jscqgin3rati2t0t0",
2266+
"newRefHash": "#j34aadhp37a5fhfbph4hc7i0pp7nlr48otdbapdue4kgmtt3e63evn2p46um4il8q45ltqu4msms93a34ptkhpjlctto2il89sd47u8",
22672267
"oldRef": "diff-start",
2268-
"oldRefHash": "#vu2ddn75mpvl8jv01c4tnmvddm8e2q1e2nb9qj2c6qb0j3dl6har1v07l3vmm18ap1p0qos9pgo82f19enaboighed7bnal6t7jcumo",
2268+
"oldRefHash": "#slt6ihj3f9r5eavshflld6q5gkjq2fc42f5vpco02u2mp7els39k0ai630eqncbpihosroutg8km6cf4t922h445vki1ofe4hsl24ig",
22692269
"project": "@transcripts/contribution-diff",
22702270
"tag": "done"
22712271
},

transcripts/sync-apis/pull-without-history.output.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,6 @@ x = 1
77
88
+ x : ##Nat
99
10-
+ (added), ~ (modified), - (deleted)
11-
1210
Run `update` to apply these changes to your codebase.
1311
```
1412

transcripts/sync-apis/sync.output.md

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -33,8 +33,6 @@ ys = [!a, !b] :+ 3
3333
+ xs : ['{g} Nat]
3434
+ ys : [Nat]
3535
36-
+ (added), ~ (modified), - (deleted)
37-
3836
Run `update` to apply these changes to your codebase.
3937
```
4038

@@ -73,7 +71,7 @@ proj/pulled> ls .
7371
4. B/ (2 terms)
7472
5. a ('Nat)
7573
6. b ('Nat)
76-
7. builtin/ (580 terms, 100 types)
74+
7. builtin/ (582 terms, 100 types)
7775
8. xs (['{g} Nat])
7876
9. ys ([Nat])
7977
```

0 commit comments

Comments
 (0)