Extract Implications Issue?

Stream: Equational

[Joe McCann]

Hey I am trying to work on https://github.com/teorth/equational_theories/issues/419 and require to run lake exe extract_implications outcomes > out.json, and am currently getting the error

error: failed to execute 'c:\Users\firew\.elan\toolchains\leanprover--lean4---v4.13.0-rc3\bin\leanc.exe': unspecified system_category error (error code: 87)
Some required builds logged failures:
- extract_implications
error: build failed

this was not an error in a pervious version of the repo I had pre-pull this morning. Is it working for anyone else?

[Shreyas Srinivas]

that's strange because it would have thrown up CI errors

[Shreyas Srinivas]

It looks like you are on windows

[Shreyas Srinivas]

are you sure you have the toolchain installed?

[Shreyas Srinivas]

Windows firewalls are often blocking basic CLI tools that download things off the web

[Joe McCann]

I am able to lake build the repo just fine, would that work even if the toolchain was an issue?

[Shreyas Srinivas]

Hmm.. no

[Joe McCann]

I am currently trying to install using WSL to see if the issue persists. It just takes forever :sob: