chore: update toolchain

2022-07-26 11:30:57 +02:00 · 2022-07-26 11:30:57 +02:00 · b9d0496cc7
parent 5e634cf96a
commit b9d0496cc7
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-leanprover/lean4:nightly-2022-07-20
+leanprover/lean4:nightly-2022-07-24