Skip to content

Commit 3dce36f

Browse files
videos for aquascope and youtube
1 parent 8f3d021 commit 3dce36f

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

content/meetings/aquascope.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,4 @@ Lastly, I will discuss how these techniques can be applied to other domains with
1313

1414
**Meeting Link**: [Zoom Link](https://ethz.zoom.us/j/62101458314)
1515

16-
**Recording Link**: TBA
16+
**Recording Link**: [YouTube](https://www.youtube.com/watch?v=iAbi1rOyeys)

content/meetings/refinedrust.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -16,4 +16,4 @@ As part of this work, we are equipping RefinedRust to model and handle larger pa
1616

1717
**Meeting Link**: [Zoom Link](https://ethz.zoom.us/j/64556412079)
1818

19-
**Recording Link**: TBA
19+
**Recording Link**: [YouTube](https://www.youtube.com/watch?v=XR8p9R1cPC4)

0 commit comments

Comments
 (0)