ci: parallelize snekmate tests

a16z / halmos

A symbolic testing tool for EVM smart contracts

GNU Affero General Public License v3.0

802 stars 65 forks source link

Closed daejunpark closed 1 week ago

daejunpark commented 1 week ago

the recently updated snekmate tests now take much longer, 30min+ in total, and this parallelization can reduce it back to less than 20min.

karmacoma-eth commented 1 week ago

cool, I was concerned --test-parallel was making a comeback 🔪