Merge pull request #574 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@eac8343

Triggered via push December 30, 2025 08:53

Seasawher

main

Status Success

Total duration 2m 48s

Artifacts 1

build.yaml

on: push

Produced during runtime

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