Merge pull request #583 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@acb247a

Triggered via push January 8, 2026 08:41

Seasawher

main

Status Success

Total duration 3m 45s

Artifacts 1

build.yaml

on: push

Produced during runtime

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