Skip to content

ci: parallelize snekmate tests (#370) #431

ci: parallelize snekmate tests (#370)

ci: parallelize snekmate tests (#370) #431

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...

succeeded Sep 23, 2024 in 17m 37s