search

leanprover-community / aesop

White-box automation for Lean 4
Apache License 2.0
157 stars 25 forks source link

chore: bump to nightly-2023-08-16 #64

Closed semorrison closed 11 months ago

semorrison commented 11 months ago

Because there is a new lake-manifest.json version number, downstream dependencies (e.g. Mathlib) can't bump to the latest master until this is merged.

semorrison commented 11 months ago

It looks like the issue reported in https://github.com/leanprover/lean4/issues/2427 is poisoning the test output here, so we'll need to wait for a fix and a further Lean 4 nightly.

semorrison commented 11 months ago

Now we need to bump Std4 first.

This will build after https://github.com/leanprover/std4/pull/190 merges and a lake update.