Merge pull request #558 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@176991b

Triggered via push December 14, 2025 09:06

Seasawher

main

Status Success

Total duration 3m 28s

Artifacts 1

build.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	992 KB	`sha256:87a5cfff11319e7f678712787eeacb2999504e4b984253c53ba88e97d3c48fa4`