Merge pull request #584 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@5031a1a

Triggered via push January 9, 2026 08:32

Seasawher

main

Status Success

Total duration 3m 15s

Artifacts 1

build.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages	1000 KB	`sha256:043b7bd90b6dacf10f6e1555bf0899ec2787df13d8dafc03f1adb19554c74d53`