deploy site · leanprover-community/leanprover-community.github.io@38e6ad0

Triggered via schedule January 14, 2026 04:18

lean4

Status Success

Total duration 1h 6m 46s

Artifacts 1

build.yml

on: schedule

Produced during runtime

Name	Size	Digest
site Expired	5.04 MB	`sha256:5f613afcca5a1948c1289e9c4168da58d1edc52e75d5a12b8da58c92beb884c1`