Merge pull request #563 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@eda0db1

Triggered via push December 19, 2025 09:37

Seasawher

main

Status Success

Total duration 3m 0s

Artifacts 1

build.yaml

on: push

Produced during runtime

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