Skip to content

Upgrade to Lean 4.26.0 - #4

Closed
GasStationManager wants to merge 610 commits into
mainfrom
v4.26.0
Closed

Upgrade to Lean 4.26.0#4
GasStationManager wants to merge 610 commits into
mainfrom
v4.26.0

Fix compilation errors for Lean 4.26.0 upgrade

8745b67
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.