add example · leanprover-community/leanprover-community.github.io@3db5838

Triggered via push February 2, 2026 17:04

fpvandoorn

style-explicit-types

Status Success

Total duration 1h 0m 7s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:8a0994f53372467b8b8f055bb44f9c94e8fed2f130e0fac3c4e6c5f2d971d53c`