chore: Update Lean to v4.17.0, version to v0.3 #178

Merged
aniva merged 2 commits from chore/version into dev 2025-03-24 18:05:25 -07:00
Owner
No description provided.
aniva added this to the 0.3 milestone 2025-03-24 18:05:14 -07:00
aniva added the
category
organization
label 2025-03-24 18:05:14 -07:00
aniva self-assigned this 2025-03-24 18:05:14 -07:00
aniva added 2 commits 2025-03-24 18:05:15 -07:00
aniva merged commit fb91b521fb into dev 2025-03-24 18:05:25 -07:00
aniva deleted branch chore/version 2025-03-24 18:05:26 -07:00
Sign in to join this conversation.
No description provided.