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

Triggered via push February 6, 2026 08:18

grunweg

lean4

Status Success

Total duration 8m 5s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:fbfaad6c6b2c770a8ce55e7f683e7039867e2e6fcca706f2367e1959096712cc`