Skip to content

Adapt to stricter type-checker comming soon in Gobra - #427

Draft
jcp19 wants to merge 1 commit into
masterfrom
jcp19-new-ints
Draft

Adapt to stricter type-checker comming soon in Gobra#427
jcp19 wants to merge 1 commit into
masterfrom
jcp19-new-ints

adapt to stricter type-checker in Gobra

2fc766d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar