Bring back prop_test

quasar-finance · Jul 22, 2024 · 0585e1e · 0585e1e
1 parent dcc8a64
commit 0585e1e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/cl_vault.yml b/.github/workflows/cl_vault.yml
@@ -33,3 +33,4 @@ jobs:
     with:
       contract: 'cl-vault'
       dex_router_osmosis: true
+      prop_test: true
diff --git a/.github/workflows/rust_test_tube.yml b/.github/workflows/rust_test_tube.yml
@@ -8,7 +8,9 @@ on:
         type: string
       dex_router_osmosis:
         required: false
-        default: false
+        type: boolean
+      prop_test:
+        required: false
         type: boolean
 
 jobs:
@@ -37,6 +39,10 @@ jobs:
         working-directory: smart-contracts/contracts/dex-router-osmosis
       - name: Run test-tube tests
         run: cargo test-tube
+        working-directory: smart-contracts/contracts/${{ inputs.contract }}
+      - name: Run prop-test
+        if: github.ref == 'refs/heads/feat-cii15'
+        run: cargo prop-test
         env:
           PROPTEST_CASES: 10
         working-directory: smart-contracts/contracts/${{ inputs.contract }}