Merge pull request #77 from conp-solutions/github-ci

ci: run on PRs

Author: conp-solutions

.github/workflows/build-and-test.yml

@@ -1,6 +1,13 @@
 name: Build and Test on Linux and Mac OS
 
-on: [push]
+on:
+  push:
+    branches:
+      - '**'
+
+  pull_request:
+    branches:
+      - '**'
 
 jobs:
   Linux:

.github/workflows/build-maxsat.yml

@@ -1,6 +1,13 @@
 name: Build and Test MaxSat Solver
 
-on: [push]
+on:
+  push:
+    branches:
+      - '**'
+
+  pull_request:
+    branches:
+      - '**'
 
 jobs:
   Linux:

.github/workflows/check-diversity.yml

@@ -1,6 +1,13 @@
 name: Check diversity configurations
 
-on: [push]
+on:
+  push:
+    branches:
+      - '**'
+
+  pull_request:
+    branches:
+      - '**'
 
 jobs:
   Linux:

.github/workflows/mini-competition.yml

@@ -1,6 +1,13 @@
 name: Run Mini-Competition Benchmark on Linux
 
-on: [push]
+on:
+  push:
+    branches:
+      - '**'
+
+  pull_request:
+    branches:
+      - '**'
 
 jobs:
   Linux:

.github/workflows/unit-tests.yml

@@ -1,6 +1,13 @@
 name: Run Unit Test on Linux and Mac OS
 
-on: [push]
+on:
+  push:
+    branches:
+      - '**'
+
+  pull_request:
+    branches:
+      - '**'
 
 jobs:
   Linux: