Merge pull request #569 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@2964c5b

Triggered via push December 25, 2025 08:44

Seasawher

main

Status Success

Total duration 2m 49s

Artifacts 1

build.yaml

on: push

Produced during runtime

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