aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 11 Pull Requests 1 Packages Projects Releases Wiki Activity

Bump Lean version to 4.1.0 #17

Merged
aniva merged 2 commits from misc/toolchain into dev 2023-10-05 21:52:38 -07:00
Conversation 0 Commits 2 Files Changed 6 +6 -5

2 Commits

Author SHA1 Message Date
Leni Aniva 5b002a9ceb
Fix test failures 2023-10-05 17:51:41 -07:00
Leni Aniva 836a14fa63
Bump Lean version to 4.1.0 2023-10-05 17:49:43 -07:00