doc: update Mathlib PR workflow for fork-based contributions (#777) · leanprover-community/leanprover-community.github.io@d93010f

Triggered via push February 6, 2026 08:30

grunweg

lean4

Status Success

Total duration 8m 7s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:d403698d3607e8fadebcbcc3bba9085ccb6317e3e864fdff5567da5e310d4f7d`