Prerequisites

• Put an X between the brackets on this line if you have done all of the following:
  • Checked that your issue isn't already filed.
  • Reduced the issue to a self-contained, reproducible test case.

Description

lake build is reporting that the manifest is out of date, even after running lake update.

Steps to Reproduce

Checkout a local copy of either leanprover-community/mathlib4#6610 or leanprover-community/aesop#64, and observe that after a successful lake update, lake build still complains about the manifest being out of date.

Here's the link to the build showing the warning for Mathlib and for Aesop.

This is actually failing the bump PR for Aesop, because this warning is not expected during the testing run.

Versions

New regression on nightly-2023-08-16