[CI] Run proptests only on main (#673)

quasar-finance · Jul 23, 2024 · 6257fcb · 6257fcb
1 parent f443574
commit 6257fcb
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 4 deletions.
diff --git a/.github/workflows/cl_vault.yml b/.github/workflows/cl_vault.yml
@@ -9,7 +9,8 @@ on:
       - 'smart-contracts/contracts/cl-vault/**.rs'
       - 'smart-contracts/contracts/dex-router-osmosis/Cargo.toml'
       - 'smart-contracts/contracts/dex-router-osmosis/**.rs'
-      - '.github/workflows/**.yml'
+      - '.github/workflows/cl_vault.yml'
+      - '.github/workflows/rust_basic.yml'
   push:
     branches:
       - main
@@ -18,7 +19,8 @@ on:
       - 'smart-contracts/contracts/cl-vault/**.rs'
       - 'smart-contracts/contracts/dex-router-osmosis/Cargo.toml'
       - 'smart-contracts/contracts/dex-router-osmosis/**.rs'
-      - '.github/workflows/**.yml'
+      - '.github/workflows/cl_vault.yml'
+      - '.github/workflows/rust_basic.yml'
   workflow_dispatch:
 
 jobs:
@@ -31,3 +33,4 @@ jobs:
     with:
       contract: 'cl-vault'
       dex_router_osmosis: true
+      prop_test: ${{ github.ref == 'refs/heads/main' }}
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: inputs.prop_test
+        run: cargo prop-test
         env:
           PROPTEST_CASES: 10
         working-directory: smart-contracts/contracts/${{ inputs.contract }}

diff --git a/smart-contracts/contracts/cl-vault/.cargo/config b/smart-contracts/contracts/cl-vault/.cargo/config
@@ -2,5 +2,6 @@
 wasm = "build --release --lib --target wasm32-unknown-unknown"
 unit-test = "test --lib"
 schema = "run --bin schema"
-test-tube = "test --test * --features test-tube -- --include-ignored --test-threads=1"
+test-tube = "test --test * --features test-tube -- --test-threads=1"
+prop-test = "test tests::proptest::test_complete_works --lib -- --test-threads=1 --exact"
 test-tube-build = "build --release --lib --target  wasm32-unknown-unknown --target-dir ./test-tube-build"