minor fix #542
ci.yml
on: push
Lint
50s
Build
1m 5s
Test-mac
3m 13s
Bench-mac-m31-ext3
3m 29s
Bench-mac-BN254
3m 12s
Bench-mac-gf2ext128
3m 16s
Test-linux
1m 0s
Bench-linux-m31-ext3
34s
Bench-linux-BN254
35s
Bench-linux-gf2-ext128
34s