Skip to content

ci: parallelize snekmate tests (#370) #431

ci: parallelize snekmate tests (#370)

ci: parallelize snekmate tests (#370) #431

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos, ha...

succeeded Sep 23, 2024 in 16m 16s