Merge pull request #582 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@22dd482

Triggered via push January 7, 2026 08:10

Seasawher

main

Status Success

Total duration 3m 6s

Artifacts 1

build.yaml

on: push

Produced during runtime

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