Merge pull request #581 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@8043a22

Triggered via push January 6, 2026 09:16

Seasawher

main

Status Success

Total duration 2m 50s

Artifacts 1

build.yaml

on: push

Produced during runtime

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