Merge pull request #580 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@c47567c

Triggered via push January 5, 2026 12:28

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