chore: bump to nightly-2023-04-11

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

chore: bump to nightly-2023-04-11 #52

Closed semorrison closed 1 year ago

semorrison commented 1 year ago

Description

Sadly, this is as far as it is possible to bump the toolchain before things start going wrong. Bumping to 2023-04-20 (and 408fbe22495657efd034398efa252f3f2b33add1 Mathlib, selected from here) causes failures.