nightly-2024-07-24-06

fix: use github warning box syntax

nightly-2024-07-23-06

fix: use github warning box syntax

nightly-2024-07-22-06

fix: use github warning box syntax

nightly-2024-07-21-06

fix: use github warning box syntax

nightly-2024-07-20-06

fix: use github warning box syntax

nightly-2024-07-19-06

fix: isDefEq has a memory leak I guess

nightly-2024-07-18-22

fix: isDefEq has a memory leak I guess

predata-nightly-2024-07-17-01

chore: bump mathlib

predata-nightly-2024-07-16-01

chore: bump mathlib

predata-nightly-2024-07-15-01

chore: bump mathlib