Merge pull request #572 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@8312709

Triggered via push December 28, 2025 08:37

Seasawher

main

Status Success

Total duration 2m 46s

Artifacts 1

build.yaml

on: push

Produced during runtime

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