Merge pull request #567 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@b494595

Triggered via push December 23, 2025 10:59

Seasawher

main

Status Success

Total duration 2m 47s

Artifacts 1

build.yaml

on: push

Produced during runtime

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