chore: topic labels can be managed by a comment (#778) · leanprover-community/leanprover-community.github.io@197d05c

Triggered via push January 28, 2026 14:48

lean4

Status Success

Total duration 57m 21s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:9df544555ccb353ec5c2a74f609a9ff03fc70f87663e6cffa78143146fdb29c5`