chore: Version bump #168

Merged
aniva merged 4 commits from chore/version into dev 2025-02-25 15:16:44 -08:00
Owner
  • chore: Update Lean to v4.16.0
  • chore: Update version to v0.2.26
- chore: Update Lean to `v4.16.0` - chore: Update version to `v0.2.26`
aniva added this to the 0.3 milestone 2025-02-23 14:11:07 -08:00
aniva added the
category
chore
label 2025-02-23 14:11:07 -08:00
aniva self-assigned this 2025-02-23 14:11:07 -08:00
aniva added 1 commit 2025-02-23 14:11:08 -08:00
aniva added 1 commit 2025-02-23 14:13:52 -08:00
aniva added 1 commit 2025-02-23 14:15:12 -08:00
aniva added the
priority
medium
label 2025-02-23 14:15:17 -08:00
aniva added 1 commit 2025-02-25 15:16:30 -08:00
aniva merged commit 642bca42e9 into dev 2025-02-25 15:16:44 -08:00
aniva deleted branch chore/version 2025-02-25 15:16:44 -08:00
Sign in to join this conversation.
No description provided.