Merge pull request #566 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@c402af4

Triggered via push December 22, 2025 08:34

Seasawher

main

Status Success

Total duration 3m 4s

Artifacts 1

build.yaml

on: push

Produced during runtime

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