lint

bump plausible

shake

merge lean-pr-testing-6189

fix tests

chore: bump to nightly-2024-11-24

fix test

Merge branch 'nightly-testing' of github.com:leanprover-community/mat…

…hlib4 into nightly-testing

Merge remote-tracking branch 'origin/master' into nightly-testing

deprecation