Skip to content

Build fixes and Lean 4.26 compatibility - #68

Closed
alok wants to merge 1 commit into
lecopivo:masterfrom
alok:pr/build-fixes
Closed

alok wants to merge 1 commit into
lecopivo:masterfrom
alok:pr/build-fixes

Build fixes and Lean 4.26 compatibility

1db6ee3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 notice

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