Skip to content

Replace Integer with Int in Meta files#426

Open
arnavk23 wants to merge 3 commits into
JuliaSmoothOptimizers:mainfrom
arnavk23:fix-421-arglin-m
Open

Replace Integer with Int in Meta files#426
arnavk23 wants to merge 3 commits into
JuliaSmoothOptimizers:mainfrom
arnavk23:fix-421-arglin-m

Replace `Integer` with `Int` in `Meta`

4a0df85
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs