Zulip Chat Archive

Stream: mathlib4

Topic: Update std for `lean4-pr-testing` branches?

Thomas Murrills (Oct 15 2023 at 03:05):

What's the preferred way to update std4 (or any other mathlib dependency) for the lean4-pr-testing-NNNN branches? Currently I'm just updating the lakefile/manifest to point at my personal fork of std4 and adding a big disclaimer, but I was wondering if that's correct. :)

Scott Morrison (Oct 15 2023 at 05:36):

That's correct.

Scott Morrison (Oct 15 2023 at 05:37):

Ideas for better automation here are welcome.

Last updated: Dec 20 2023 at 11:08 UTC