chore: bump to v4.27.0-rc1#136

grunweg merged 1 commit intoleanprover-community:masterleanprover-community/sphere-eversion:masterfrom

pitmonticone:bump_v4.27.0-rc1pitmonticone/sphere-eversion:bump_v4.27.0-rc1Copy head branch name to clipboard