Use dev env

Certora · Dec 11, 2024 · b1686f6 · b1686f6
1 parent c559425
commit b1686f6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -27,6 +27,7 @@ jobs:
         tests/conf-good.conf
       solc-versions: 0.7.6 0.8.1
       job-name: "Failing Test"
+      server: "vaas-dev"
 
   test-pass:
     permissions:
@@ -43,3 +44,4 @@ jobs:
         tests/conf-good.conf
       solc-versions: 0.7.6 0.8.1
       job-name: "Passing Test"
+      server: "vaas-dev"