Merge pull request #556 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@67c643b

Triggered via push December 12, 2025 08:26

Seasawher

main

Status Success

Total duration 3m 11s

Artifacts 1

build.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	992 KB	`sha256:91c2768f132ed66eb30da5a807a0a680290433b988b4ffbcffdfc49abba297c7`