Attempt to update local vendored copy of geb-mathlib repo with its latest
main branch failed: either the pre-existing patch to make it build
against geb-lean's older version of mathlib failed to apply cleanly,
or it applied cleanly but the ensuing build failed. For details, see
https://github.com/rokopt/geb/actions/runs/32760633574
Attempt to update local vendored copy of
geb-mathlibrepo with its latestmainbranch failed: either the pre-existing patch to make it buildagainst
geb-lean's older version ofmathlibfailed to apply cleanly,or it applied cleanly but the ensuing build failed. For details, see
https://github.com/rokopt/geb/actions/runs/32760633574