Add schema.org structured data to events page - #739

Open

jessealama wants to merge 21 commits into

leanprover-community:lean4from

jessealama:add-semantic-data-to-events

Commits on Nov 11, 2025

Add schema.org semantic data to events page
jessealama
committed
130b710
Use venue name (not full location) for Place name in schema.org
jessealama
committed
9379182
Use structured location data for all events
jessealama
committed
3953573
Add support for hybrid events with MixedEventAttendanceMode
jessealama
committed
a40dd0e
Use ISO 3166-1 alpha-2 country codes in event location data
jessealama
committed
3aaa95b
Remove redundant description field and fix NODOWNLOAD behavior
jessealama
committed
545c9c8
Simplify Node.js setup in GitHub Actions workflow
jessealama
committed
db8e10d
Add is_fully_remote method and validation for Event class
jessealama
committed
92a34c7
Make date parsing errors explicit in schema.org generation
jessealama
committed
f6d1c77
Initial plan
Copilot
committed
9d2f380
Use human-readable version v4.1.0 for actions/setup-node

Copilot
and
jessealama
committed
24ef559
Merge pull request #2 from jessealama/copilot/sub-pr-1
jessealama
authored
008d8e8
Update .github/workflows/build_pr.yml
jessealama
authored
2f6efcf
Simplify validation step to single-line format in build_pr.yml
jessealama
committed
2e0229e
Simplify package.json to focus on CI/CD dependencies
jessealama
committed
659d832
Use pickle cache for project data when NODOWNLOAD is set
jessealama
committed
22ba98e
Update actions/setup-node to v6
jessealama
committed
dbe8fd0

Commits on Nov 12, 2025

Commits on Dec 11, 2025

Merge upstream/lean4 into add-semantic-data-to-events
jessealama
committed
d15db04

Commits on Mar 9, 2026

Merge branch 'leanprover-community:lean4' into add-semantic-data-to-events
jessealama
authored
088729c