ci: add issue text

stacks-network · Jul 29, 2024 · 319e940 · 319e940
1 parent 40cac47
commit 319e940
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/scheduled.yaml b/.github/workflows/scheduled.yaml
@@ -1,8 +1,9 @@
 name: Property Testings
 
 on:
+  schedule:
+    - cron: '0 */4 * * *'
   workflow_dispatch:
-  pull_request:
 
 env:
   CARGO_TERM_COLOR: always
@@ -33,4 +34,5 @@ jobs:
       uses: maxkomarychev/[email protected]
       with:
         token: ${{ secrets.GH_TOKEN }}
-        title: "[Test] Property testing coverage has failed"
+        title: "Property testing coverage has failed"
+        body: "FYI & A: @stacks-network/clarity-wasm"
diff --git a/clar2wasm/tests/standard/property_tests.rs b/clar2wasm/tests/standard/property_tests.rs
@@ -23,7 +23,7 @@ fn prop_add_uint() {
 #[test]
 fn prop_add_int() {
     utils::test_export_two_signed_args_checked("stdlib.add-int", |a: i128, b: i128| {
-        a.checked_add(a)
+        a.checked_add(b)
     })
 }