Skip to content

chore: Run build and test suite jobs on MacOS and Windows - #724

Draft
ejgallego wants to merge 6 commits into
leanprover:mainfrom
ejgallego:ci-win
Draft

chore: Run build and test suite jobs on MacOS and Windows#724
ejgallego wants to merge 6 commits into
leanprover:mainfrom
ejgallego:ci-win

wip

d52e1c3
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.