Merge pull request #564 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@240cbb2

Triggered via push December 20, 2025 10:14

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:b162fc80b5736f6bf1fcef1e374be0dc0319e4a84860e6ee00de2549a10eb767`