Run GitHub workflow for PRs, not pushes

A random push doesn't have much value to be tested

.github/workflows/check-webpage.yml

@@ -1,7 +1,7 @@
 name: Check Open Catalog Web
 
 on:
-  push
+  pull-request:
 
 jobs:
   build:

.github/workflows/test-benchmark-script.yml

@@ -1,7 +1,7 @@
 # IMPORTANT NOTE: The results of these benchmarks are not representative. This
 # is simply a smoke test to check everything compiles and runs.
 on:
-  push:
+  pull-request:
 
 jobs:
   # Let us run this job on Ubuntu only as it is the only image that has gcc,

.github/workflows/test-benchmarks.yml

@@ -2,7 +2,7 @@
 # is simply a smoke test to check everything compiles and runs.
 
 on:
-  push:
+  pull-request:
 
 jobs:
   compile-and-run: