Merge pull request #577 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@d55482d

Triggered via push January 2, 2026 08:47

Seasawher

main

Status Success

Total duration 2m 45s

Artifacts 1

build.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1000 KB	`sha256:de17f50a3527c8e31148d0d2529052ade5a2282f740aca60a6217153921c513c`