library search issue in v4.7.0-rc1

Stream: lean4

[Ruben Van de Velde]

@Joe Hendrix @Scott Morrison did the fixes in v4.7.0-rc2 land into lean4 master? The latest nightly seems to still be broken

[Joe Hendrix]

Is it is in Lean master as lean4#3610. I think that should have made it into the latest nightly, but I haven't tested that specifically.

[Joe Hendrix]

If it looks like you are still getting an error that's not addressed by that, I can take a look.

[Mauricio Collares]

Today's nightly failed to build: https://github.com/leanprover/lean4/actions/runs/8168273044 (see also https://github.com/leanprover/lean4-nightly/releases)

[Mauricio Collares]

That was fixed by temporarily disabling some windows tests in https://github.com/leanprover/lean4/commit/f0a762ea4d2a78b1f0e484ffa9154c5f495d4c39, so tomorrow's nightly should include the fix