Merge pull request #570 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@b848a89

Triggered via push December 26, 2025 08:52

Seasawher

main

Status Success

Total duration 2m 45s

Artifacts 1

build.yaml

on: push

Produced during runtime

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