deploy site · leanprover-community/leanprover-community.github.io@47baa4c

Triggered via schedule February 1, 2026 04:41

lean4

Status Success

Total duration 29m 54s

Artifacts 1

build.yml

on: schedule

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:bf6aab18f2b80c2d8631ab0bc28cb122ca6f3a706145187b90d3e361fa91dc47`