Merge pull request #578 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@276a709

Triggered via push January 3, 2026 09:50

Seasawher

main

Status Success

Total duration 3m 13s

Artifacts 1

build.yaml

on: push

Produced during runtime

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