Add links

JoJoDeveloping · JoJoDeveloping · commit 995ba0dd7c47 · 2024-11-27T16:01:56.000+01:00
diff --git a/content/meetings/contracts.md b/content/meetings/contracts.md
@@ -23,4 +23,4 @@ Felix has been working on the Rust compiler since before Rust 1.0; he was co-lea
 
 **Meeting Link**: [https://ethz.zoom.us/j/68120170474](https://ethz.zoom.us/j/68120170474)
 
-**Recording Link**: [https://www.youtube.com/watch?v=j60gcdpHNaM](https://www.youtube.com/watch?v=j60gcdpHNaM	)
+**Recording Link**: [https://www.youtube.com/watch?v=j60gcdpHNaM](https://www.youtube.com/watch?v=j60gcdpHNaM)
diff --git a/content/meetings/match-ergonomics.md b/content/meetings/match-ergonomics.md
@@ -8,6 +8,6 @@ More details will be announced soon.
 
 **Presenter**: [Nadrieril](https://github.com/Nadrieril/).
 
-**Meeting Link**: TBA
+**Meeting Link**: [Zoom Link](https://ethz.zoom.us/j/63658285876)
 
 **Recording Link**: TBA
diff --git a/content/meetings/verifast-rust.md b/content/meetings/verifast-rust.md
@@ -14,4 +14,4 @@ His research endeavours centre around devising methodologies for verifying the d
 
 **Meeting Link**: [Zoom Link](https://ethz.zoom.us/j/62101458314)
 
-**Recording Link**: TBA
+**Recording Link**: [YouTube](https://www.youtube.com/watch?v=XppPnXzr39E)

Original file line number	Diff line number	Diff line change
`@@ -23,4 +23,4 @@ Felix has been working on the Rust compiler since before Rust 1.0; he was co-lea`
`23`	`23`
`24`	`24`	`Meeting Link: [https://ethz.zoom.us/j/68120170474](https://ethz.zoom.us/j/68120170474)`
`25`	`25`
`26`		`-Recording Link: [https://www.youtube.com/watch?v=j60gcdpHNaM](https://www.youtube.com/watch?v=j60gcdpHNaM )`
	`26`	`+Recording Link: [https://www.youtube.com/watch?v=j60gcdpHNaM](https://www.youtube.com/watch?v=j60gcdpHNaM)`
Original file line number	Diff line number	Diff line change
`@@ -14,4 +14,4 @@ His research endeavours centre around devising methodologies for verifying the d`
`14`	`14`
`15`	`15`	`Meeting Link: [Zoom Link](https://ethz.zoom.us/j/62101458314)`
`16`	`16`
`17`		`-Recording Link: TBA`
	`17`	`+Recording Link: [YouTube](https://www.youtube.com/watch?v=XppPnXzr39E)`