Commit 2025-03-12 17:05 0e03dd86

fix(CI): adapt to new olean path (#22506) The path where the oleans are stored appears to be contained inside an extra lean layer. Reported on Zulip As mentioned below, this is a consequence of [lean4#7001](https://github.com/leanprover/lean4/pull/7001).