Skip to content

Merge upstream/lean4 into add-semantic-data-to-events

d15db04
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Add schema.org structured data to events page #739

Merge upstream/lean4 into add-semantic-data-to-events
d15db04
Select commit
Loading
Failed to load commit list.
Build HTML
succeeded Dec 11, 2025 in 35m 57s