chore: bump to `v4.27.0-rc1` (#136) · leanprover-community/sphere-eversion@2c32227

Triggered via push December 16, 2025 15:32

grunweg

master

Status Success

Total duration 51m 0s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	31.7 MB	`sha256:77d712fe850f4e3f8ff533cd2040dee1c3cfaa15e7a5914e6b0581fd5b8658e2`