Merge branch 'master' into kh.add-prngs

gnolang · Oct 17, 2024 · f56bcea · f56bcea
2 parents 9217b12 + 6d986bf
commit f56bcea
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/benchmark-master-push.yml b/.github/workflows/benchmark-master-push.yml
@@ -4,6 +4,11 @@ on:
   push:
     branches:
       - master
+    paths:
+      - contribs/**
+      - gno.land/**
+      - gnovm/**
+      - tm2/**
 
 permissions:
   # deployments permission to deploy GitHub pages website