Merge pull request #571 from Seasawher/auto-update-branch · Seasawher/mathlib4-help@4ecb07e

Triggered via push December 27, 2025 08:14

Seasawher

main

Status Success

Total duration 2m 50s

Artifacts 1

build.yaml

on: push

Produced during runtime

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