Skip to content

build static library by default#80

Open
nadja-y wants to merge 1 commit into
leanprover:mainfrom
nadja-y:default-static-facet
Open

build static library by default#80
nadja-y wants to merge 1 commit into
leanprover:mainfrom
nadja-y:default-static-facet

build static library by default

f8da015
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs