deploy site · leanprover-community/leanprover-community.github.io@478f0f4

Triggered via schedule February 2, 2026 04:37

lean4

Status Success

Total duration 41m 6s

Artifacts 1

build.yml

on: schedule

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:e6e5218358cff695e46b01dd690dc24784c5925992237fe2a10448e41ff5d486`