chore: small golfs, mostly using gcongr · leanprover-community/sphere-eversion@319f608

Triggered via push June 10, 2025 21:26

grunweg

master

Status Success

Total duration 37m 57s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	27.3 MB	`sha256:2e340c8effc53670f1d4a2c9e27011bb2fa59769b4d1efe3b4880b18057289a9`