Make felt_from_number report errors properly #1012

Merged

Oppen merged 8 commits intolambdaclass:mainfrom omerfirmak:fix-felt-from-num

May 20, 2023

+17-1

Commits on Apr 26, 2023

Make felt_from_number report errors properly
omerfirmak
committed

Commits on Apr 27, 2023

Merge branch 'main' into fix-felt-from-num
omerfirmak
authored

Commits on Apr 30, 2023

Merge branch 'main' into fix-felt-from-num
Oppen
authored

Commits on May 12, 2023

Commits on May 15, 2023

Commits on May 17, 2023

Merge branch 'main' into fix-felt-from-num
fmoletta
authored