ci: snekmate venom

a16z · Jan 21, 2025 · e3a6b22 · e3a6b22
1 parent 6163a6c
commit e3a6b22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -59,7 +59,7 @@ jobs:
             dir: "snekmate"
             cmd: "--config test/halmos.toml --contract ERC721TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 1"
             branch: ""
-            profile: "halmos"
+            profile: "halmos-venom"
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
             cmd: "--config test/halmos.toml --contract ERC1155TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 1"