fix build benchmark

fixes #111 (closed)

changed the API and forgot to update benchmarks

should definitely add benchmarks to CI.

added RN-binary label

assigned to @HugoTrentesaux

requested review from @bgallois

added 1 commit

• 2c775131 - run benchmarks

Compare with previous version

marked this merge request as draft

added 1 commit

• 4d853f5d - Revert "run benchmarks"

Compare with previous version

J'ai dû me planter en commitant le diff de la sortie des benchmarks. J'ai revert le commit.

marked this merge request as ready

approved this merge request

mentioned in commit af021cba

merged