Add schema.org structured data to events page · leanprover-community/leanprover-community.github.io@d15db04

Triggered via pull request December 11, 2025 15:09

jessealama

synchronize #739

Status Success

Total duration 36m 1s

Artifacts 1

build_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
site	2.83 MB	`sha256:254d06f34ebf240779f93166b61a00d0724b7a1743e7287d553bda82697b3e4d`