docs(mwe): add section on bug reports, #guard_msgs, and minimizers · leanprover-community/leanprover-community.github.io@d387e42

Triggered via pull request January 29, 2026 08:31

kim-em

synchronize #779

Status Success

Total duration 1h 4m 50s

Artifacts 1

build_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
site	2.83 MB	`sha256:0dc4511294baddbbadc309f554fe9a1f19d4e2a9ba6f9357b48b26e6838b30d8`