wip

.github/workflows/scheduled.yaml

@@ -1,6 +1,7 @@
 name: Property Testings
 
 on:
+  pull_request:
   schedule:
     - cron: '0 */4 * * *'
   workflow_dispatch:
@@ -24,18 +25,19 @@ jobs:
       - name: Run
         run: cargo test --test wasm-generation --test standard
 
-  notification:
-    name: Notification
-    runs-on: ubuntu-latest
-    needs: property-testing
-    if: ${{ failure() }}
-    steps:
-    - name: Notify on Failure
-      uses: maxkomarychev/[email protected]
-      with:
-        token: ${{ secrets.GH_TOKEN }}
-        title: "Property testing coverage has failed"
-        body: "FYI & A: @stacks-network/clarity-wasm"
-        labels:
-          - testing
-          - property-testing
+      - name: Notify on failure
+        uses: maxkomarychev/[email protected]
+        with:
+          token: ${{ secrets.GH_TOKEN }}
+          title: "Property testing coverage has failed"
+          body: "FYI & A: @stacks-network/clarity-wasm"
+          labels:
+            - testing
+            - property-testing
+
+      - name: Add link to the failure issue
+        uses: jayqi/failed-build-issue-action@v1
+        if: github.event.pull_request == null
+        with:
+          github-token: ${{ secrets.GH_TOKEN }}
+          label-name: "Property testing coverage has failed"

clar2wasm/tests/standard/property_tests.rs

@@ -16,7 +16,7 @@ use crate::utils::{
 #[test]
 fn prop_add_uint() {
     utils::test_export_two_unsigned_args_checked("stdlib.add-uint", |a: u128, b: u128| {
-        a.checked_add(b)
+        a.checked_add(a)
     })
 }