Include date and time in event page

Author: Xavier Denis

content/meetings/_index.md

@@ -2,5 +2,6 @@
 title = "RFMIG meetings"
 sort_by = "date"
 render = false
+page_template = "meeting.html"
 +++
 meetings section

content/meetings/contracts.md

@@ -1,6 +1,6 @@
 +++
 title = "Contracts in Rust"
-date = 2024-09-24
+date = 2024-09-24T19:00:00+02:00
 +++
 
 As the growing number of verification tools (Aeneas, Creusot, Kani, Prusti, Verus, ...) has shown, there is a growing community for formal verification of Rust code. 
@@ -21,6 +21,6 @@ In this talk we present a vision for how we might get to this future, and some o
 
 Felix has been working on the Rust compiler since before Rust 1.0; he was co-lead of the Rust compiler team from 2019 until 2023. Felix has taken on this work as part of a broader interest in enforcing safety and correctness properties for Rust code.
 
-**Meeting Link**:
+**Meeting Link**: [https://ethz.zoom.us/j/68120170474](https://ethz.zoom.us/j/68120170474)
 
 **Recording Link**:

templates/meeting.html

@@ -0,0 +1,16 @@
+{% extends "base.html" %}
+
+{% block content %}
+<h1>{{ page.title }}</h1>
+<p><b>{{ page.date |  date(format="%B %d %Y - %H:%M%Z") }}</b></p>
+
+{{ page.content | safe }}
+
+<p class="tags-data">
+{% if page.taxonomies.tags %}
+{% for tag in page.taxonomies.tags %}
+<a href="/tags/{{ tag | slugify }}">&#47;{{ tag }}&#47;</a>
+{% endfor %}
+{% endif %}
+</p>
+{% endblock content %}