Skip to content

Test external projects #485

Test external projects

Test external projects #485

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

succeeded Nov 19, 2024 in 10m 36s