nightly-2025-09-15

Fix test case

nightly-2025-08-09

Clean up test cases

nightly-2025-04-18

Update to Lean v4.18.0

nightly-2025-02-19

Use `buildUnlessUpToDate?` to avoid building Rust code when fetched