chore: bump to `v4.22.0-rc2` (#115) · leanprover-community/sphere-eversion@aa7a54f

Triggered via push July 1, 2025 09:39

grunweg

master

Status Success

Total duration 4h 39m 42s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	28.3 MB	`sha256:6574811a7fdffc3b6ac2c5fa5684febae5e8ca0c8c52127c655cd937d906868b`