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

Triggered via schedule January 31, 2026 04:28

lean4

Status Success

Total duration 50m 12s

Artifacts 1

build.yml

on: schedule

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:02d3624e949fa33d770470fd41620364fd6d79b6ed35ebfa912527fb0a677da2`