Merge pull request #576 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@25138d2

Triggered via push January 1, 2026 09:56

Seasawher

main

Status Success

Total duration 2m 55s

Artifacts 1

build.yaml

on: push

Produced during runtime

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