Merge pull request #579 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@fe80c86

Triggered via push January 4, 2026 08:52

Seasawher

main

Status Success

Total duration 3m 2s

Artifacts 1

build.yaml

on: push

Produced during runtime

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